Testing the Equivalence of Logic Programs under Stable Model Semantics

Reference:

Tomi Janhunen and Emilia Oikarinen. Testing the equivalence of logic programs under stable model semantics. In Sergio Flesca et al., editors, Logics in Artificial Intelligence, Proceedings of the 8th European Conference, pages 493–504, Cosenza, Italy, September 2002. Springer-Verlag. LNAI 2424.

Suggested BibTeX entry:

@inproceedings{JO02:jelia,
    address = {Cosenza, Italy},
    author = {Tomi Janhunen and Emilia Oikarinen},
    booktitle = {Logics in Artificial Intelligence, Proceedings of the 8th European Conference},
    editor = {Sergio Flesca and others},
    month = {September},
    note = {LNAI 2424},
    pages = {493--504},
    publisher = {Springer-Verlag},
    title = {Testing the Equivalence of Logic Programs under Stable Model Semantics},
    year = {2002},
}

See www.tcs.hut.fi ...