@Inproceedings{EPTCS313.2,
  author    = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
  year      = {2020},
  title     = {Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction},
  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     = {17-34},
  doi       = {10.4204/EPTCS.313.2},
}