A Rewriting Method for Well-Founded Semantics with Explicit Negation.

Pedro Cabalar

Browse the full ICLP paper archive.