OMEGA (bibtex)
by Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann
Reference:
OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann), Chapter in The Seventeen Provers of the World (Freek Wiedijk, ed.), Springer, LNCS, number 3600, pp. 127-141, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/B3.pdf)
Bibtex Entry:
@incollection{B3,
  Author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and
                  Andreas Meier and Martin Pollet and J{\"o}rg
                  Siekmann},
  Booktitle =	 {The Seventeen Provers of the World},
  Doi =		 {10.1007/11542384_17},
  Editor =	 {Freek Wiedijk},
  Isbn =	 {978-3-540-30704-4},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration},
  Number =	 3600,
  Pages =	 {127-141},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {OMEGA},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/B3.pdf}},
  Year =	 2006,
}
Powered by bibtexbrowser