"A Procedural Semantics for Well Founded Negation in Logic Programs."

Kenneth A. Ross (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics