On closed world databases (1978)

by R Reiter
Venue:In “Logic and Databases”, H. Gallaire and J. Minker eds