Towards Merging Plato and PGIP
@inproceedings{AALW-08-a, author = {David Aspinall, Serge Autexier, Christoph L\"uth, Marc Wagner}, editor = {Serge Autexier, Christoph Benzm\"uller}, booktitle = {8th Workshop on User Interfaces for Theorem Provers (UITP'08)}, title = {Towards Merging Plato and PGIP}, month = {august}, year = {2008}, }