@misc{W1583295953,
  author = {Franz Baader and Tobias Nipkow},
  title = {Term Rewriting and All That},
  year = {1998},
  howpublished = {Cambridge University Press eBooks},
  doi = {https://doi.org/10.1017/cbo9781139172752}
}