@InProceedings{omega02,
  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 Micha{\"e}l Kohlhase  
             and Andreas Meier 
             and Erica Melis  
             and Markus Moschner  
             and Immanu{\"e}l Normann 
             and Martin Pollet  
             and Volker Sorge 
             and Carsten Ullrich 
             and Claus-Peter Wirth 
             and J{\"u}rgen Zimmer},
  title     ={Proof Development with {Omega}},
  pages     ={143--148},
  address   ={K{\o}benhavn},
  booktitle ={Proceedings of the 18th International Conference on 
              {A}utomated {D}eduction (CADE-18)},
  publisher ={Springer},
  series    ={Lecture Notes in Artificial Intelligence},
  year      ={2002},
  number    ={2392}}