Some remarks on the Completed Database (1988)

by K Kunen
Venue:Proceedings of the Fifth International Conference on Logic Programming