Simplifying Logic Programs Under Answer Set Semantics.

David Pearce

Browse the full ICLP paper archive.