Schiller, Marvin, Dominik Dietrich, and Christoph Benzmüller. “Proof Step Analysis for Proof Tutoring - a Learning Approach to Granularity”. Teaching Mathematics and Computer Science 6, no. 2 (December 1, 2008): 325–343. Accessed November 22, 2024. https://ojs.lib.unideb.hu/tmcs/article/view/14830.