On closed world databases. Logic and Databases (1978)

by R Reiter
Venue:H. Gallaire and J. Minker Editors