PLATO: A Mediator between Text-Editors and Proof Assistance Systems<pre>@inproceedings{WAB-07-a,
  author        = {Marc Wagner, Serge Autexier, Christoph Benzm\"uller},
  editor        = {Serge Autexier, Christoph Benzm\"uller},
  booktitle     = {7th Workshop on User Interfaces for Theorem Provers (UITP'06)},
  title         = {PLATO: A Mediator between Text-Editors and Proof Assistance Systems},
  volume        = {174(2)},
  series        = {Electronic Notes on Theoretical Computer Science},
  publisher     = {Elsevier},
  pages         = {87-107},
  month         = {april},
  year          = {2007},
}
</pre>