Skip to content

Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes).

Yves Moinard

VenueBICLP
Year1988
ProceedingsICLP/SLP

Browse the full ICLP paper archive.