@INPROCEEDINGS{BeckertGrebing2015,
author = {Bernhard Beckert and Sarah Grebing},
title = {Interactive Theorem Proving: Modelling the User in the Proof
Process},
booktitle = {Workshop on Bridging the Gap between Human and
Automated Reasoning - {A} workshop of the 25th International
Conference on Automated Deduction (CADE-25)},
editor = {Ulrich Furbach and Claudia Schon},
publisher = {CEUR Workshop Proceedings},
volume = {1412},
url = {http://ceur-ws.org/Vol-1412/},
month = aug,
year = {2015}
}