Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)

Yves Moinard. Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). In ICLP/SLP. pages 1097-1105, 1988.

Abstract

Abstract is missing.