Hsiang, Jieh; Kirchner, Hélène; Lescanne, Pierre; Rusinowitch, Michaël (1992). «The term rewriting approach to automated theorem proving». The Journal of Logic Programming14 (1–2): 71-99. doi:10.1016/0743-1066(92)90047-7.
Frühwirth, Thom (1998). «Theory and practice of constraint handling rules». The Journal of Logic Programming37 (1–3): 95-138. doi:10.1016/S0743-1066(98)10005-5.
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J.; Quesada, J.F. (2002). «Maude: Specification and programming in rewriting logic». Theoretical Computer Science285 (2): 187-243. doi:10.1016/S0304-3975(01)00359-0.