%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:42:45 +0100 GMT
%    
% Selection : Reference #2066
%




@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}
}