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