@inproceedings{C24,
  key =		 {C24},
  author =	 {Christoph Benzm{\"u}ller and Dominik Dietrich and
                  Marvin Schiller and Serge Autexier},
  editor =	 {Joachim Hertzberg and Michael Beetz and Roman
                  Englert},
  title =	 {Deep Inference for Automated Proof Tutoring?},
  booktitle =	 {KI 2007: Advances in Artificial Intelligence, 30th
                  Annual German Conference on AI, KI 2007,
                  Osnabr{\"u}ck, Germany, September 10-13, 2007,
                  Proceedings},
  year =	 2007,
  publisher =	 {Springer},
  pages =	 {435-439},
  ee =		 {http://dx.doi.org/10.1007/978-3-540-74565-5_34},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}