Proof Planning in Logical Frameworks Carsten Schürmann Yale University September 2002.
Proof Planning in Logical Frameworks
Towards Automatic Verification of Safety Architectures Carsten Schürmann Carnegie Mellon University April 2000.