"A Two Steps Semantics for Logic Programs with Negation."

Maurizio Gabbrielli, Giorgio Levi, Daniele Turi (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics