On indefinite databases and the closed world assumption (1982)

by J Minker
Venue:In CADE