@article{5b854574ea1148baa4a7fccc16772c57,
title = "Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor",
keywords = "Propositional logic, Axiomatic proofs, Hilbert axiom system, Feedback, Intelligent tutoring, LOGIC",
author = "Josje Lodder and Bastiaan Heeren and Johan Jeuring and Wendy Neijenhuis",
year = "2021",
month = mar,
doi = "10.1007/s40593-020-00222-2",
language = "English",
volume = "31",
pages = "99--133",
journal = "International Journal of Artificial Intelligence in Education",
issn = "1560-4292",
publisher = "Springer",
number = "1",
}