Basics of Term Rewriting

@inproceedings{Jantzen1997BasicsOT,
  title={Basics of Term Rewriting},
  author={Matthias Jantzen},
  year={1997}
}