![](/img/cover-not-exists.png)
Book review: Term Rewriting and all that by Franz Baader and Tobias Nipkow (Cambridge Univ . Press, 313 pages)
Narendran, PaliathVolume:
31
Language:
english
Journal:
ACM SIGACT News
DOI:
10.1145/356458.1008651
Date:
September, 2000
File:
PDF, 235 KB
english, 2000