Under consideration for publication in Theory and Practice of Logic Programming

This paper extends the method of proving strong equivalence to an answer set programming language that includes operations on integers and deriving rules of each group from rules of the other by deriving rules of each group from rules of the other.