@misc{indiciae043500fce438,
  title = {Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction},
  author = {Josje Lodder and Bastiaan Heeren and Johan Jeuring},
  year = {2020},
  doi = {10.4204/eptcs.313.2},
  url = {https://arxiv.org/abs/2002.12552},
  note = {Source identifier: 2002.12552}
}