On indefinite databases and the closed world assumption (1982)

by J Minker
Venue:In Proceedings of the Sixth International Conference on Automated Deduction (CADE’82