1. Amadio, R.M.: Synthesis of max-plus quasi-interpretations. Fundam. Inform. 65(1-2), 29–60 (2005)
2. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236(1-2), 133–178 (2000)
3. Lecture Notes in Computer Science,2007
4. Berstel, J.: Transductions and Context-Free Languages. Teubner, Stuttgart (1979)
5. Blanqui, F., Coupet-Grimal, S., Delobel, W., Hinderer, S., Koprowski, A.: CoLoR, a Coq library on rewriting and termination. In: Workshop on Termination (2006),
http://color.loria.fr