Stephan Schmitt
An Efficient Refiner for First-order Intuitionistic Logic (Part II)
Stephan Schmitt, May 22, 2000
An Efficient Refiner for First-order Intuitionistic Logic
Stephan Schmitt, Febuary 28, 2000
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