Verifying the Equivalence of Logic Programs in the Disjunctive Case.

Emilia Oikarinen, Tomi Janhunen

Browse the full LPNMR paper archive.