@InProceedings{DiBu2007a,
AUTHOR = {Dietrich, Dominik and Buckley, Mark},
TITLE = {Verification of Proof Steps for Tutoring Mathematical Proofs},
YEAR = {2007},
BOOKTITLE = {Proceedings of the 13th International Conference on Artificial Intelligence in Education, , Los Angeles, USA, 2007. IOS Press},
PAGES = {560-562},
NOTE = {MP} }
