Simplifying Logic Programs Under Uniform and Strong Equivalence.

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

Browse the full LPNMR paper archive.