1. Benois, M.: Parties rationelles du groupe libre. C. R. Acad. Sci. Paris, Sér. A 269, 1188–1190 (1969)
2. Dahmani, F., Guirardel, V.: Foliations for solving equations in groups: free, virtually free and hyperbolic groups. J. of Topology 3, 343–404 (2010)
3. Diekert, V., Gutiérrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Inf. and Comput. 202, 105-140 (2005)
4. Conference version in Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol. 2010, pp. 170-182. Springer, Heidelberg (2001)
5. Diekert, V., Lohrey, M.: Word equations over graph products. IJAC 18(3), 493–533 (2008)