lpeq 1.13 — A Tool for Testing the Equivalence of Logic Programs

Reference:

Tomi Janhunen. lpeq 1.13 — A tool for testing the equivalence of logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2002. Computer Program.

Suggested BibTeX entry:

@misc{LPEQ02,
    author = {Tomi Janhunen},
    howpublished = {http://www.tcs.hut.fi/Software/lpeq/},
    note = {Computer Program},
    title = {lpeq 1.13 --- {A} Tool for Testing the Equivalence of Logic Programs},
    year = {2002},
}