@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
  author    = {J{\"o}rg H. 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},
  title     = {Proof Development with OMEGA},
  booktitle = {CADE},
  year      = {2002},
  pages     = {144-149},
  ee        = {http://dx.doi.org/10.1007/3-540-45620-1_12},
  crossref  = {DBLP:conf/cade/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cade/2002,
  editor    = {Andrei Voronkov},
  title     = {Automated Deduction - CADE-18, 18th International Conference
               on Automated Deduction, Copenhagen, Denmark, July 27-30,
               2002, Proceedings},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  year      = {2002},
  isbn      = {3-540-43931-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}