"Complete Logic Programs with Domain-Closure Axiom."

Paolo Mancarella, Simone Martini, Dino Pedreschi (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics