@Inproceedings{EPTCS79.1,
  author    = {Autexier, Serge and Dietrich, Dominik and Schiller, Marvin},
  year      = {2012},
  title     = {Towards an Intelligent Tutor for Mathematical Proofs},
  editor    = {Quaresma, Pedro and Back, Ralph-Johan},
  booktitle = {{\rm Proceedings First Workshop on}
               CTP Components for Educational Software,
               {\rm Wroc{\l}aw, Poland, 31th July 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {79},
  publisher = {Open Publishing Association},
  pages     = {1-28},
  doi       = {10.4204/EPTCS.79.1},
}