Roderick Moten
Design of the Nuprl Refiner
Roderick Moten, September 26, 1995
The Refiner as the Inference Mechanism of Nuprl Proof Development System
Roderick Moten, April 4, 1995
Tactic Trees in eXene
Roderick Moten, September 22, 1992
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu