Reviews of Term Rewriting Systems by Terese
Review by Jürgen Giesl
in Bulletin of Symbolic Logic, 10(2): 223-225, 2004.
Review by Jean-Pierre Jouannaud
in The Computer Journal, Volume 47, Issue 1, January 2004: p. 135
Review by Nachum Dershowitz
in Theory and Practice of Logic Programming, Volume ?, 2005
Last modified: Wed Apr 13 13:29:48 CEST 2005