Testing Strong Equivalence of Datalog Programs - Implementation and Examples.

Thomas Eiter, Wolfgang Faber, Patrick Traxler

Browse the full LPNMR paper archive.