Assisted Proof Document Authoring

@inproceedings{pub4452,
    author = {

Aspinall, David
 and 

Lüth, Christoph
 and 

Wolff, Burkhart
},
    editor = {

Kohlhase, Michael
},
    title = {Assisted Proof Document Authoring},
    booktitle = {4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany},
    series = {Lecture Notes in Artificial Intelligence},
    year = {2005},
    volume = {3863},
    pages = {65--80},
    publisher = {Springer},
    isbn = {978-3-540-31430-1}
}