TCS / Research / Publications / lpeq 1.19 --- A Tool for Testing the Modular Equivalence of Logic Programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

lpeq 1.19 — A Tool for Testing the Modular Equivalence of Logic Programs

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},
}

See www.tcs.hut.fi ...

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