Rick Erkens Promotors: prof.dr. Jan Friso Groote (TU/e) Co-promotors: dr. Bas Luttik (TU/e) Eindhoven University of Technology Date: 30 September 2024 Thesis: PDF Summary Term rewriting is a basic model of computation used in various areas of computer science. In this thesis we are interested in rewriting terms to a …