Schiller, M., Dietrich, D., & Benzmüller, C. (2008). Proof step analysis for proof tutoring - a learning approach to granularity. Teaching Mathematics and Computer Science, 6(2), 325-343. https://doi.org/10.5485/TMCS.2008.0183