On closed-world databases (1978)

by R Reiter
Venue:In J. Minker and H. Gallaire (eds) Logic and Databases