LOUI: Lovely OMEGA User Interface (bibtex)
by Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
Reference:
LOUI: Lovely OMEGA User Interface (Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge), In Formal Aspects of Computing, volume 11, number 3, pp. 326-342, 1999. (Url (preprint): http://christoph-benzmueller.de/papers/J2.pdf)
Bibtex Entry:
@article{J2,
  Author =	 {J{\"o}rg Siekmann and Stephan Hess and Christoph
                  Benzm{\"u}ller and Lassaad Cheikhrouhou and Armin
                  Fiedler and Helmut Horacek and Michael Kohlhase and
                  Karsten Konrad and Andreas Meier and Erica Melis and
                  Martin Pollet and Volker Sorge},
  Doi =		 {10.1007/s001650050053},
  Journal =	 {Formal Aspects of Computing},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Proof Presentation, User Interface},
  Number =	 3,
  Pages =	 {326-342},
  Title =	 {{LOUI}: Lovely {OMEGA} User Interface},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J2.pdf}},
  Volume =	 11,
  Year =	 1999,
}
Powered by bibtexbrowser