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