Nuprl-light: An implementation framework for higherorder logics (1997)

by Jason J Hickey
Venue:In 14th International Conference on Automated Deduction