@Article{J12,
  key =		 {J12},
  author =	 {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Serge Autexier},
  title =	 {Computer Supported Mathematics with {OMEGA}},
  journal =	 {Journal of Applied Logic},
  volume = 	 {4},
  number = 	 {4},
  pages = 	 {533-559},
  year =	 2006,
  note =   {doi:10.1016/j.jal.2005.10.001}, 
}