lpeq 1.19 --- A Tool for Testing the Modular Equivalence of Logic Programs (2007)
AUTHORS:
Janhunen Tomi
URL:
http://research.ics.aalto.fi/software/asp/lpeq/
@misc{ LPEQ07, author = "Janhunen, Tomi", note = "Computer Program", title = "lpeq 1.19 --- {A} Tool for Testing the Modular Equivalence of Logic Programs", url = "http://research.ics.aalto.fi/software/asp/lpeq/", responsibleauthor = "Janhunen, Tomi", flags = "ACPT SOFTWARE", year = "2007", howpublished = "http://research.ics.aalto.fi/software/asp/lpeq/" }