Vladimir Lifschitz Some Results on Circumscription. 151-164 1984 NMR db/conf/nmr/nmr1984.html#Lifschitz84