Schiller M, Dietrich D, Benzmüller C. Proof step analysis for proof tutoring - a learning approach to granularity. Teach. Math. Comp. Sci. [Internet]. 2008 Dec. 1 [cited 2024 Sep. 27];6(2):325-43. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/14830