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}
}