Interactive Proof Construction at the Task Level
@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}, }