Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. - Josje Lodder; Bastiaan Heeren; Johan Jeuring; Wendy Neijenhuis (Int. J. Artif. Intell. Educ., 2021)