Proof Development with OMEGA (bibtex)
by Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Reference:
Proof Development with OMEGA (Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer), In Proceedings of the 18th International Conference on Automated Deduction (CADE-18) (Andrei Voronkov, ed.), Springer, LNCS, number 2392, pp. 144-149, 2002. (slides)
Bibtex Entry:
@inproceedings{C11,
  Address =	 {Copenhagen, Denmark},
  Author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus-Peter Wirth and J{\"u}rgen Zimmer},
  Booktitle =	 {Proceedings of the 18th International Conference on Automated Deduction (CADE-18)},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2002-cade-omega.pdf">slides</a>},
  Doi =		 {10.1007/3-540-45620-1_12},
  Editor =	 {Andrei Voronkov},
  Isbn =	 3540439315,
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof, Automated Reasoning, Proof Planning, System Integration},
  Number =	 2392,
  Pages =	 {144-149},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Proof Development with {OMEGA}},
  Url =		 {http://christoph-benzmueller.de/papers/C11.pdf},
  Year =	 2002,
}
Powered by bibtexbrowser