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

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