@InCollection{B3,
  key    =       {B03},
  author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Andreas Meier and Martin Pollet and J{\"o}rg Siekmann},
  editor =       {Freek Wiedijk},
  chapter =	 {OMEGA},
  booktitle =	 {The Seventeen Provers of the World},
  year =	 2006,
  series =	 {LNCS},
  publisher = {Springer},
  number =       3600,
  pages =        {127-141}, 
  url =		 {www.ags.uni-sb.de/~chris/papers/B3.pdf},
}