"Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)."

Yves Moinard (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics