M. Schiller, D. Dietrich, and C. Benzmüller, “Proof step analysis for proof tutoring - a learning approach to granularity”, Teach. Math. Comp. Sci., vol. 6, no. 2, pp. 325–343, Dec. 2008, doi: 10.5485/TMCS.2008.0183.