Jon Doyle Circumscription and Implicit Definability. 57-69 1984 NMR db/conf/nmr/nmr1984.html#Doyle84