"On Indefinite Databases and the Closed World Assumption."

Jack Minker (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics