@InProceedings{C15,
  key =		 {C15},
  author =	 {J{\"o}rg H. Siekmann and Christoph Benzm{\"u}ller},
  editor =	 {Susanne Biundo and Thom W. Fr{\"u}hwirth and
                  G{\"u}nther Palm},
  title =	 {OMEGA: Computer Supported Mathematics},
  booktitle =	 {KI 2004: Advances in Artificial Intelligence, 27th
                  Annual German Conference on AI, KI 2004, Ulm,
                  Germany, September 20-24, 2004, Proceedings},
  number =	 3228,
  pages =	 {3--28},
  series =	 {LNCS},
  year =	 2004,
  address =	 {Ulm, Germany}
}