Deep Inference for Automated Proof Tutoring?

@inproceedings{pub2998,
    author = {

Autexier, Serge
 and 

Schiller, Marvin
 and 

Dietrich, Dominik
 and 

Benzmüller, Christoph
},
    editor = {

Englert, Roman
 and 

Beetz, Michael
 and 

Hertzberg, Joachim
},
    title = {Deep Inference for Automated Proof Tutoring?},
    booktitle = {Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007), September 10-13, Osnabrück, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2007},
    month = {9},
    volume = {4667},
    pages = {435--439},
    publisher = {Springer},
    isbn = {978-3-540-74564-8}
}