Leopoldo E. Bertossi Circumscription in Data Logic for Data Type Specification. 89-96 1994 4 J. Log. Comput. 1 db/journals/logcom/logcom4.html#Bertossi94