On closed world data bases (1977)

by Raymond Reiter
Venue:In Logic and Data Bases