LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs (2004)

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

AUTHORS:

URL:
http://www.springerlink.com/content/029mtm525wfefj7j

AUTHORS:

URL: http://www.springerlink.com/content/029mtm525wfefj7j

URL:
http://www.springerlink.com/content/029mtm525wfefj7j