. Bkk-+-98-]-p, C. Borovansk´yborovansk´y, H. Kirchner, P. Kirchner, C. Moreau et al., An overview of ELAN Electronic Notes in Theoretical Computer Science, Proceedings of the second International Workshop on Rewriting Logic and Applications, 1998.

]. H. Cir00, . [. Cirstea, C. Cirstea, and . Kirchner, Calcul de réécriture : fondements et applications The rewriting calculus ? Part I and II, Thèse de Doctorat d'Université, Université Henri Poincaré ? Nancy 1, pp.427-498, 2000.

H. Cirstea, C. Kirchner, and L. Liquori, Matching Power, Rewriting Techniques and Applications, 2001.
DOI : 10.1007/3-540-45127-7_8
URL : https://hal.archives-ouvertes.fr/inria-00099308

H. Cirstea, C. Kirchner, L. L. Dubois, and H. Kirchner, The Rho Cube Objects, rules and strategies in ELAN, Foundations of Software Science and Computation Structures Proceedings of the second AMAST workshop on Algebraic Methods in Language ProcessingDO90] N. Dershowitz and M. Okada. A rationale for conditional equational programming . Theoretical Computer Science, pp.166-180111, 1990.

L. Rapport, E. -lyon, and R. Milner, A theory of type polymorphism in programming, Etude des propriétés du calcul de réécriture, pp.348-375, 1978.

Q. Nguyen, Certifying Term Rewriting Proofs in ELAN, Proc. of RULE'01. [WL96] Weiss and Leroy. Le langage Caml. InterEditions, 1996.
DOI : 10.1016/S1571-0661(04)00295-6