On closed world databases. Logic and Databases (1978)

by R Reiter