Dietrich, D.; Buckley, M. Verification of Human-Level Proof Steps in Mathematics Education. Teach. Math. Comp. Sci. 2008, 6 (2), 345-362. https://doi.org/10.5485/TMCS.2008.0184.