The following publications are possibly variants of this publication:
- System Description: TPS: A Theorem Proving System for Type TheoryPeter B. Andrews, Matthew Bishop, Chad E. Brown. cade 2000: 164-169
- Proving Theorems of Type Theory Automatically with TPSPeter B. Andrews. AAAI 2005: 1676-1677
- TPS: An Interactive and Automatic Tool for Proving Theorems of Type TheoryPeter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. tphol 1994: 366-370
- Theorem Proving in Type TheoryPeter B. Andrews, Eve Longini Cohen. IJCAI 1977: 566-566
- Classical Type TheoryPeter B. Andrews. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 965-1007, Elsevier and MIT Press, 2001.