"Complementing Logic Program Semantics."

Roberto Giacobazzi, Francesco Ranzato (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics