Confluent string rewriting by Matthias Jantzen | Menrva Books | MenrvaBooks