Deep Inference for Automated Proof Tutoring?<pre>@inproceedings{BDSA-07-a,
  author        = {Christoph Benzm\"uller, Dominik Dietrich, Marvin Schiller, Serge Autexier},
  editor        = {Joachim Hertzberg, Michael Beetz, Roman Englert},
  booktitle     = {KI 2007: Advances in Artificial Intelligence},
  title         = {Deep Inference for Automated Proof Tutoring?},
  series        = {LNAI},
  publisher     = {Springer},
  month         = {september},
  year          = {2007},
}
</pre>