Term rewriting and all that

Cite this paper

@inproceedings{Baader1998TermRA, title={Term rewriting and all that}, author={Franz Baader and Tobias Nipkow}, year={1998} }