User Interface for Adaptive Suggestions for Interactive Proof

@inproceedings{pub1917,
    author = {

Pollet, Martin
 and 

Melis, Erica
 and 

Meier, Andreas
},
    title = {User Interface for Adaptive Suggestions for Interactive Proof},
    booktitle = {Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP)},
    year = {2003},
    pages = {133--142}
}