Literatur, Quellen

• Bücher
  • (Lehrbuch) Franz Baader, Tobias Nipkow: Term Rewriting and All That, Cambridge Univ. Press 1998, Kapitel 2
  • (Monographie) TeReSe, Term Rewriting Systems, Cambridge Univ. Press 2003,
• Forschungsgruppen (Termersetzung und Anwendungen)
  • Jan Willem Klop, VU Amsterdam https://www.cs.vu.nl/~tcs/
  • Aart Middeldorp, U Innsbruck http://cl-informatik.uibk.ac.at/