TPS: A theorem-proving system for classical type theory (1996)

by P B Andrews, M Bishop, S Issar, D Nesmith, F Pfenning, H Xi
Venue:J. Autom. Reasoning