Complexity Results for Checking Equivalence of Stratified Logic Programs.

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

Browse the full IJCAI paper archive.