Lecture notes (PDF) (Postscript)

Writeup (Word) Comments!

References

1. Term Rewriting and All That, F. Baader and T. Nipkow, Cambridge Univ. Press, 1998.
2. "A Taste of Rewriting" (Postscript) (PDF), N. Dershowitz. Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science 693, 199-228, 1993.
3. "Rewrite Systems" (Postscript) (PDF), N. Dershowitz and J.-P. Jouannaud. Chap. 6 in Handbook of Theoretical Computer Science B: Formal Methods and Semantics, J. van Leeuwen, ed., North-Holland, Amsterdam, 243-320, 1990.
4. "Term Rewriting Systems" (Postscript) (PDF), J. W. Klop, Chap. 1 in Handbook of Logic in Computer Science, vol. 2, S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, eds., Clarendon Press, 1-116, 1992.