Henry A. Kautz Bart Selman Forming Concepts for Fast Inference. 200-215 1992 conf/ecai/1992w1 ECAI Workshop on Knowledge Representation and Reasoning db/conf/ecai/ecai1992w1.html#KautzS92a