1. Amaniss, A., Hermann, M., Lugiez, D.: Etude comparative des méthodes de schématisation de séquences infinies de termes du premier ordre. Research Report 93-R-114, Centre de Recherche en Informatique de Nancy (1993)
2. Aravantinos, V.: Schémas de preuves et de formules: vers plus de structure et d’efficacité en déduction automatique. Master thesis, Institut National Polytechnique de Grenoble & Université Joseph Fourier (2007). http://membres-lig.imag.fr/aravantinos
3. Aravantinos, V., Caferra, R., Peltier, N.: A schemata calculus for propositional logic. In: Giese, M., Waaler, A. (eds.) TABLEAUX. Lecture Notes in Computer Science, vol. 5607, pp. 32–46. Springer (2009)
4. Bensaid, H., Caferra, R., Peltier, N.: Dei: a theorem prover for terms with integer exponents. In: Schmidt, R.A. (ed.) CADE. Lecture Notes in Computer Science, vol. 5663, pp. 146–150. Springer (2009)
5. Bensaid, H., Caferra, R., Peltier, N.: Perfect discrimination graphs: indexing terms with integer exponents. In: Giesl, J., Hähnle, R. (eds.) International Joint Conference on Automated Reasoning. Lecture Notes in Computer Science. Springer (2010, to appear)