Schiller, M.; Dietrich, D.; Benzmüller, C. Proof Step Analysis for Proof Tutoring - a Learning Approach to Granularity. Teach. Math. Comp. Sci. 2008, 6 (2), 325-343. https://doi.org/10.5485/TMCS.2008.0183.