Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

Browse the full AAAI paper archive.