TCS / Research / Publications / LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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 V. Lifschitz and I. Niemelä, editors, 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, pages 336–340, Fort Lauderdale, USA, January 2004. Springer-Verlag. System Description.

Suggested BibTeX entry:

@inproceedings{JO04:lpnmrsystem,
    address = {Fort Lauderdale, USA},
    author = {Tomi Janhunen and Emilia Oikarinen},
    booktitle = {Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {V. Lifschitz and I. Niemel\"a},
    month = {January},
    note = {System Description},
    pages = {336-340},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Artificial Intelligence},
    title = {{LPEQ} and {DLPEQ} - Translators for Automated Equivalence Testing of Logic Programs},
    volume = {2923},
    year = {2004},
}

See www.springerlink.com ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.