L. Thorne McCarty Circumscribing Embedded Implications. 211-227 1991 LPNMR db/conf/lpnmr/lpnmr91.html#McCarty91