lpeq and dlpeq – Translators for Automated Equivalence Testing of Logic Programs

Reference:

Tomi Janhunen and Emilia Oikarinen. lpeq and dlpeq – translators for automated equivalence testing of logic programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 336–340, Fort Lauderdale, Florida, 2004. Springer-Verlag. LNAI 2923.

Suggested BibTeX entry:

@inproceedings{JO04:lpnmr,
    address = {Fort Lauderdale, Florida},
    author = {Tomi Janhunen and Emilia Oikarinen},
    booktitle = {Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}},
    note = {LNAI 2923},
    pages = {336--340},
    publisher = {Springer-Verlag},
    title = {lpeq and dlpeq -- Translators for Automated Equivalence Testing of Logic Programs},
    year = {2004},
}