Towards Merging Plato and PGIP<pre>@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},
}
</pre>