@InProceedings{C16,
  key =		 {C16},
  author =	 {Christoph Benzm{\"u}ller and Volker Sorge and Mateja
                  Jamnik and Manfred Kerber},
  editor =	 {Franz Baader and Andrei Voronkov},
  title =	 {Can a Higher-Order and a First-Order Theorem Prover
                  Cooperate?},
  booktitle =	 {Logic for Programming, Artificial Intelligence, and
                  Reasoning, 11th International Conference, LPAR 2004,
                  Montevideo, Uruguay, March 14-18, 2005, Proceedings},
  year =	 2005,
  series =	 {LNCS},
  pages =	 {415-431},
  number =	 3452,
  publisher =	 {Springer},
  url =		 {www.ags.uni-sb.de/~chris/papers/C16.pdf},
  CHRISNOTE =	 {C16},
}