@Article{J16,
  key =		 {J16},
  author =	 {Christoph Benzm{\"u}ller and Volker Sorge and Mateja Jamnik and Manfred Kerber},
  title =	 {Combined Reasoning by Automated Cooperation},
  journal =	 {Journal of Applied Logic},
  year =	 2008,
  volume = {6},
  number = {3},
  pages = {318-342},
  note = {doi:10.1016/j.jal.2007.06.003},
}