- Preview Available
- Scholarly Journal
Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii+884 pages
Dershowitz, Nachum.
Theory and Practice of Logic Programming; Cambridge Vol. 5, Iss. 3, (May 2005): 395-399.
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.