Thomas F. McDougal Kristian J. Hammond Representing and Using Procedural Knowledge to Build Geometry Proofs. 60-65 1993 AAAI db/conf/aaai/aaai93.html#McDougalH93