Towards an Intelligent Tutor for Mathematical Proofs<pre>@inproceedings{ADS-11-a,
  author        = {Serge Autexier and Dominik Dietrich and
Marvin Schiller},
  editor        = {Pedro Quaresma and Ralph-Johan Back},
  booktitle     = {Proceedings First Workshop on CTP Components for Educational Software (THedu'11)},
  title         = {Towards an Intelligent Tutor for Mathematical Proofs},
  volume        = {79},
  series        = {EPTCS},
  pages         = {1-28},
  month         = {february},
  year          = {2012},
}
</pre>