@InProceedings{W32,
  key    =       {W32},
  author = 	 {Christoph Benzm{\"u}ller and Volker Sorge and Mateja Jamnik and Manfred Kerber},
  title = 	 {Combining Proofs of Higher-Order and First-Order Automated Theorem Provers},
  booktitle = 	 {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)},
  year =	 2005,
  pages =        {45-58},
  address =	 {Wexford Hotel, Montego Bay, Jamaica},
  publisher =         {Avalaible from http://arxiv.org/abs/cs/0601042},
  chrisnote =	 {W32}
}