APA (7th ed.) Citation

Lodder, J., Heeren, B., Jeuring, J., & Neijenhuis, W. (2021). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education, 31(1), 99. https://doi.org/10.1007/s40593-020-00222-2

Chicago Style (17th ed.) Citation

Lodder, Josje, Bastiaan Heeren, Johan Jeuring, and Wendy Neijenhuis. "Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor." International Journal of Artificial Intelligence in Education 31, no. 1 (2021): 99. https://doi.org/10.1007/s40593-020-00222-2.

MLA (9th ed.) Citation

Lodder, Josje, et al. "Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor." International Journal of Artificial Intelligence in Education, vol. 31, no. 1, 2021, p. 99, https://doi.org/10.1007/s40593-020-00222-2.