Proof Planning in
Logical Frameworks
Carsten Schürmann
Yale University
September 2002