"How to Progress a Database (and Why) I. Logical Foundations."

Fangzhen Lin, Raymond Reiter (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics