@INBOOK{TRS-DedSysEng-92,
AUTHOR = {Norbert Eisinger and Andreas Nonnengart},
TITLE = {Term Rewriting Systems},
CHAPTER = {III.4},
PAGES = {154-176},
PUBLISHER = {Ellis Horwood Limited, Chichester, West Sussex, England},
YEAR = {1989},
NOTE = {Translation of the first edition of the book ``Deduktionssysteme'',
Oldenbourg Verlag, 1987},
ABSTRACT = {A short introduction into term rewriting systems.
This chapter is supposed to provide beginners in logic with the basics
of term rewriting, the Knuth-Bendix completion algorithm and theorem proving
by rewriting.},
}