1. Dowek, G., Hardin, T., Kirchner, C.: Theorem proving modulo. In: Rapport de Recherche INRIA 3400 (1998)
2. Lecture Notes in Computer Science;G. Dowek,1999
3. Dowek, G., Werner, B.: Proof normalization modulo. In: Altenkirch, T., Naraschewski, W., Reus, B. (eds.) TYPES 1998. LNCS, vol. 1657, pp. 62–77. Springer, Heidelberg (1999);
4. Rapport de Recherche 3542, INRIA (1998)
5. Fay, M.J.: First-order unification in an equational theory. In: Fourth Workshop on Automated Deduction, pp. 161–167 (1979)