@INBOOK{TRS-DedSys92,
AUTHOR = {Norbert Eisinger and Andreas Nonnengart and Axel Pr\"acklein},
TITLE = {Termersetzungssysteme},
CHAPTER = {III.4},
PAGES = {126-149},
PUBLISHER = {Oldenbourg Verlag, M\"unchen, Wien},
YEAR = {1992},
NOTE = {In German},
ABSTRACT = {A short introduction into term rewriting systems.
This chapter is supposed to provide beginners in logic with the basic ideas
behind term rewriting systems, Knuth-Bendix-Completion, and theory proving
based on rewriting.},
}