Raymond Reiter On Closed World Data Bases. 55-76 1977 Logic and Data Bases db/conf/adbt/adbt77.html#Reiter77