@InProceedings{C11,
  key    =       {C11},
  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},
  title =	 {Proof Development with {OMEGA}},
  editor =	 {Andrei Voronkov},
  booktitle =	 {Proceedings of the 18th International Conference on Automated Deduction (CADE-18)},
  year =	 2002,
  pages =	 {144-149},
  publisher =    {Springer},
  series =       {LNCS},
  number =       2392,
  isbn =         {3540439315},
  CHRISNOTE =	 {C11},
  address =	 {Copenhagen, Denmark},
  url =		 {www.ags.uni-sb.de/~chris/papers/C11.pdf}
}