Deep Inference for Automated Proof Tutoring?
@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}, }