LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.

Tomi Janhunen, Emilia Oikarinen

Browse the full LPNMR paper archive.