1. S. Boutin, Réflexion sur les quotients, Doctoral thesis, Université de Paris 7 (1997). 63
2. T. Coquand and G. Huet, The Calculus of constructions, Information and Computation, 76 (1988) pp. 95–120. 63
3. G. Dowek, Th. Hardin and C. Kirchner, Theorem proving modulo, Rapport de Recherche INRIA 3400 (1998). 63
4. G. Dowek, B. Werner, Proof normalization modulo, Rapport de recherche INRIA 3542 (1998). 64, 74, 76
5. J. Ekman, Normal proofs in set theory, Doctoral thesis, Chalmers university of technology and University of Göteborg (1994). 70