@Article{J14,
  key =		 {J14},
  author =	 {Marc Wagner and Serge Autexier and Christoph
                  Benzm{\"u}ller},
  title =	 {PLATO: A Mediator between Text-Editors and Proof Assistance Systems},
  journal =	 {Electronic Notes in Theoretical Computer Science},
  volume =	 174,
  number =	 {2},
  issn =         {1571-0661},
  pages =        {87-107},
  year =	 2007,
  url =		 {www.ags.uni-sb.de/~chris/papers/J14.pdf},
  note =   {doi:10.1016/j.entcs.2006.09.024},
}