A Logical Language for Data and Knowledge Bases.

Shamim A. Naqvi Shalom Tsur A Logical Language for Data and Knowledge Bases. Computer Science Press 1989 0-7167-8200-6