The course notes provided on this site are for exclusive use during ISR 2024, the 14th International School on Rewriting. Do not distribute this material.