Representing and Using Procedural Knowledge to Build Geometry Proofs. - Thomas F. McDougal; Kristian J. Hammond (AAAI, 1993)

Everyday Reasoning Meets Geometry Theorem-Proving. - Thomas F. McDougal (AAAI, 1994)