References

[OJ, submitted'08] Emilia Oikarinen and Tomi Janhunen: A Translation-based Approach to the Verification of Modular Equivalence. Extended version, submitted for publication.

[OJ, ASP'07] Emilia Oikarinen and Tomi Janhunen: A Translation-based Approach to the Verification of Modular Equivalence. In Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007), pages 255-269.

[JO, TPLP'07] Tomi Janhunen and Emilia Oikarinen: Automated Verification of Weak Equivalence within the Smodels System. Theory and Practice of Logic Programming, 7(6):697-744, 2007.

[Oikarinen, LPNMR'07] Emilia Oikarinen: Modularity in Smodels Programs. In Logic Programming and Nonmonotonic Reasoning, 9th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2007, Tempe, AZ, USA, May 2007, Proceedings, volume 4483 of Lecture Notes in Artificial Intelligence, pages 321-326, Tempe, Arizona, USA, May 2007. Springer-Verlag.

[OJ, ECAI'06] Emilia Oikarinen and Tomi Janhunen Modular Equivalence for Normal Logic Programs. In Proceedings of the 17th European Conference on Artificial Intelligence, pp. 412-416, Riva del Garda, Italy, August 2006. IOS Press.

[OJ, LPNMR'04] Emilia Oikarinen and Tomi Janhunen: Verifying the Equivalence of Logic Programs in the Disjunctive Case. In Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 2923 of Lecture Notes in Artificial Intelligence, pp. 180-193, Fort Lauderdale, USA, January 2004. Springer-Verlag.

[JO, LPNMR'04] Tomi Janhunen and Emilia Oikarinen: LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. In Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 2923 of Lecture Notes in Artificial Intelligence, pp. 336-340, Fort Lauderdale, USA, January 2004. Springer-Verlag.

[JO, JELIA'02] Tomi Janhunen and Emilia Oikarinen: Testing the Equivalence of Logic Programs under Stable Model Semantics. In the Proceedings of the 8th European Workshop on Logic in Artificial Inteligence, volume 2424 of Lecture Notes in Artificial Intelligence, pp. 493-504, Cosenza, Italy, September 2002. Springer-Verlag.