A Logical Language for Data and Knowledge Bases." (1989)

by S Naqvi, S Tsur