PLATO: A Mediator between Text-Editors and Proof Assistance Systems (bibtex)
by Marc Wagner, Serge Autexier, Christoph Benzmüller
Reference:
PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. (Preprint: http://christoph-benzmueller.de/papers/J14.pdf)
Bibtex Entry:
@article{J14,
  Author =	 {Marc Wagner and Serge Autexier and Christoph
                  Benzm{\"u}ller},
  Doi =		 {10.1016/j.entcs.2006.09.024},
  Issn =	 {1571-0661},
  Journal =	 {Electronic Notes in Theoretical Computer Science},
  Keywords =	 {own, Proof Assistants, Proof Presentation, OMEGA,
                  Interactive Proof, System Integration, Mathematical
                  Knowledge Management, User Interface},
  Number =	 2,
  Pages =	 {87-107},
  Title =	 {PLATO: A Mediator between Text-Editors and Proof
                  Assistance Systems},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/J14.pdf}},
  Volume =	 174,
  Year =	 2007,
}