Dominik Dietrich and
Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Proceedings of the 13th International Conference on Artificial Intelligence in Education, , Los Angeles, USA, 2007. IOS Press, Pages 560-562, 2007. google Note: MP.
