Interactive Proof Construction at the Task Level
@inproceedings{HBAM-03-a,
  author        = {Hübner, Malte and Benzmüller, Christoph and Autexier, Serge and Meier, Anreas},
  editor        = {Lüth, 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},
}