Nuprl-Light: An implementation framework for higher-order logics (1997)

by Jason J. Hickey
Venue:IN 14TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Citations:13 - 8 self