Jens Otten
Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
Jens Otten and Stephen Schmitt, June 23, 1998
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu