Josje Lodder, Bastiaan Heeren, Johan Jeuring. Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. In Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes, Daniel D. Garcia, editors, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. pages 387-392, ACM, 2017. [doi]