1. S. Allen, R. Constable, R. Eaton, C. Kreitz, and L. Lorigo. The Nupri open logical environment. In McAllester [ 2000 ].
2. P. Andrews, M. Bishop, S. Issar, D Nesmith, F. Pfenning, and H. Xi. TPS: A theorem proving system for classical type theory. Journal of Automated Reasoning, 16 (3): 321–353, 1996.
3. R. Bartle and D. Sherbert. Introduction to Real Analysis. Wiley, 2nd edition, 1982.
4. P. Baumgartner and U. Furbach. PROTEIN, a PROver with a Theory INterface. In Bundy [ 1994 ], pages 769–773.
5. C. Benzmüller and M. Kohlhase. LEO — a higher-order theorem prover. In Kirchner and Kirchner [ 1998 ].