Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.

Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran

Browse the full LPNMR paper archive.