1. Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence 38(1), 27–46 (2003)
2. Buchberger, B.: Computer-Supported Mathematical Theory Exploration: Schemes, Failing Proof Analysis, and Metaprogramming. Technical report, RISC, Austria (September 2004)
3. Colton, S.: Automated Theory Formation in Pure Mathematics Series: Distinguished Dissertations, vol. XVI, p. 380 (2002), ISBN: 1-85233-609-9
4. Coquand, T.: An Analysis of Girard’s Paradox. In: Proc. Symposium on Logic in Computer Science, Cambridge, Massachusetts, pp. 227–236. IEEE Computer Society Press, Los Alamitos (1986)
5. Coquand, T., Huet, G.: The Calculus of Constructions. Technical report 530, INRIA (May 1986)