Schiller, Marvin, Dominik Dietrich, and Christoph Benzmüller. 2008. “Proof Step Analysis for Proof Tutoring - a Learning Approach to Granularity”. Teaching Mathematics and Computer Science 6 (2): 325-43. https://doi.org/10.5485/TMCS.2008.0183.