Towards Merging Plato and PGIP

@inproceedings{pub4451,
    author = {

Aspinall, David
 and 

Autexier, Serge
 and 

Lüth, Christoph
 and 

Wagner, Marc
},
    title = {Towards Merging Plato and PGIP},
    booktitle = {Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22-22, Montreal, QC, Canada},
    series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
    year = {2009},
    volume = {226},
    pages = {3--21},
    publisher = {Elsevier Science}
}