Reference:
Tomi Janhunen. lpeq 1.19 — A tool for testing the modular equivalence of logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2007. Computer Program.
Suggested BibTeX entry:
@misc{LPEQ07, author = {Tomi Janhunen}, howpublished = {http://www.tcs.hut.fi/Software/lpeq/}, note = {Computer Program}, title = {lpeq 1.19 --- {A} Tool for Testing the Modular Equivalence of Logic Programs}, year = {2007}, }