Interactive Theorem Proving - Modelling the User in the Proof Process

@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},
  volume = {1412},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
  url = {https://ceur-ws.org/Vol-1412},
  year = {2015},
  month = aug
}