A Two Steps Semantics for Logic Programs with Negation.

Maurizio Gabbrielli, Giorgio Levi, Daniele Turi

Browse the full LPAR paper archive.