"Adding Closed World Assumptions to Well-Founded Semantics."

Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics