1. F. Baader, H-J. Bürckert, B. Hollunder, W. Nutt, J.H. Siekmann: Concept logics in “Computational logic” (J.W. Lloyd ed.) Springer-Verlag 1990, pp. 177–201.
2. T. Boy de la Tour, R. Caferra: Proof analogy in interactive theorem proving: a method to use and express it via second order pattern matching. Proc. AAAI-87, Morgan and Kaufmann 1987, pp. 95–99.
3. T. Boy de la Tour, R. Caferra: L'analogie en démonstration automatique: une approche de la généralisation utilisant le filtrage du second ordre. Actes 6ème RFIA. Tome 2. Dunod Informatique, 1987, pp. 809–818.
4. T. Boy de la Tour: Minimizing the number of clauses by renaming. Proc. of CADE-10, LNAI 449, Springer-Verlag 1990, pp. 558–572.
5. T. Boy de la Tour, R. Caferra: A formal approach to some usually informal techniques used in mathematical reasoning. Proc. of ISSAC-88. LNCS 358, Springer-Verlag 1988, pp. 402–406.