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

by Peter B. Andrews , Matthew Bishop , Sunil Issar , Dan Nesmith , Frank Pfenning , Hongwei Xi
Venue:Journal of Automated Reasoning
Citations:69 - 6 self