Henry A. Kautz Michael J. Kearns Bart Selman Reasoning With Characteristic Models. 34-39 1993 AAAI db/conf/aaai/aaai93.html#KautzKS93