TPS: A Theorem-Proving System for Classical Type Theory (1996)

by Peter B Andrews, Matt Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Venue:Journal of Automated Reasoning