@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          = {https://ceur-ws.org/Vol-1412/},
  month        = aug,
  year         = {2015}
}