String-rewriting systems – PaperGrep

https://papergrep.dev/paper/string-rewriting-systems-e73cb1