Interactive Proof Construction at the Task Level<pre>@inproceedings{HBAM-03-a,
  author        = {H\"ubner, Malte and Benzm\"uller, Christoph and Autexier, Serge and Meier, Anreas},
  editor        = {L\"uth, Christoph and Aspinall, David},
  booktitle     = {Proceedings of the Workshop User Interfaces for Theorem Provers (UITP'03)},
  title         = {Interactive Proof Construction at the Task Level},
  address       = {Rome, Italy},
  month         = {september},
  year          = {2003},
}
</pre>