lpeq 1.19 --- A Tool for Testing the Modular Equivalence of Logic Programs (2007)
[BibTex]