Tomi Janhunen, Emilia Oikarinen. Testing the Equivalence of Logic Programs under Stable Model Semantics. In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Volume 2424 of Lecture Notes in Computer Science, pages 493-504, Springer, 2002. [doi]
Abstract is missing.