On closed world data bases (1978)

by R Reiter
Venue:In Logic and Databases