Some remarks on the completed databases, in (1988)

by IL Kunen
Venue:eds, Proceedings of the fifth Logic Programming symposium (Association for Logic Programming