Erica Melis
Proof presentation in the Omega system
Erica Melis, October 25, 1999
Knowledge-Based Proof Planning
Erica Melis, April 19, 1999
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu