@Inproceedings{EPTCS313.4,
  author    = {Winkler, Sarah and Middeldorp, Aart},
  year      = {2020},
  title     = {Tools in Term Rewriting for Education},
  editor    = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao},
  booktitle = {{\rm Proceedings 8th International Workshop on}
               Theorem Proving Components for Educational Software,
               {\rm Natal, Brazil, 25th August 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {313},
  publisher = {Open Publishing Association},
  pages     = {54-72},
  doi       = {10.4204/EPTCS.313.4},
}