M. Avanzini, U. D. Lago, and G. Moser, Analysing the complexity of functional programs: higher-order meets first-order, ICFP 2015, pp.152-164, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01231809

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking rewriting on java, RTA '07, vol.4533, pp.36-47, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00142045

H. Cirstea, C. Kirchner, R. Kopetz, and P. Moreau, Anti-patterns for rule-based languages, J. of Symbolic Computation, vol.45, issue.5, pp.523-550, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00429226

H. Cirstea, S. Lenglet, and P. Moreau, A faithful encoding of programmable strategies into term rewriting systems, RTA 2015, vol.36, pp.74-88, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01168956

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., The Maude 2.0 System, RTA '03, vol.2706, pp.76-87, 2003.

C. Fuhs, J. Giesl, M. Parting, P. Schneider-kamp, and S. Swiderski, Proving termination by dependency pairs and inductive theorem proving, J. of Aut. Reasoning, vol.47, issue.2, pp.133-160, 2011.

J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs et al., Proving termination of programs automatically with aprove, pp.184-191, 2014.

J. Giesl, M. Raffelsieper, P. Schneider-kamp, S. Swiderski, and R. Thiemann, Automated termination proofs for Haskell by term rewriting, ACM Trans. Program. Lang. Syst, vol.33, issue.2, p.7, 2011.

C. Kirchner, R. Kopetz, and P. Moreau, Anti-pattern matching, Lecture Notes in Computer Science, vol.4421, pp.110-124, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00129421

M. Korp, C. Sternagel, H. Zankl, and A. Middeldorp, Tyrolean Termination Tool 2, RTA '09, vol.5595, pp.295-304, 2009.

A. Krauss, Pattern minimization problems over recursive data types, ICFP 2008, pp.267-274, 2008.

A. Krauss, C. Sternagel, R. Thiemann, C. Fuhs, and J. Giesl, Termination of Isabelle functions via termination of rewriting, ITP 2011, pp.152-167, 2011.

L. Maranget, Warnings for pattern matching, J. Funct. Program, vol.17, pp.387-421, 2007.

M. Marin, Extending Mathematica with Anti-Patterns, Proceedings of the 12th International Mathematice Symposium, 2015.

P. Schneider-kamp, R. Thiemann, E. Annov, M. Codish, and J. Giesl, Proving termination using recursive path orders and SAT solving, FroCoS, pp.267-282, 2007.

R. C. Sekar, R. Ramesh, and I. V. Ramakrishnan, Adaptive pattern matching, ICALP '92, pp.247-260, 1992.

T. , Term Rewriting Systems, 2003.