Integrating Proof Assistants as Plugins in a Scientific Editor
@incollection{ABFL-06-a,
  author        = {Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd},
  editor        = {Michael Kohlhase},
  booktitle     = {OMDOC - An Open Markup Format for Mathematical Documents [Version 1.2]},
  title         = {Integrating Proof Assistants as Plugins in a Scientific Editor},
  volume        = {4180},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {309-312},
  month         = {august},
  year          = {2006},
}