TPTP Reference: BS+05
@InProceedings{BS+05,
Author = "Benzm{\"u}ller, C. and Sorge, V. and Jamnik, M. and Kerber, M.",
Year = "2005",
Title = "{Can a Higher-Order and a First-Order Theorem Prover Cooperate?}",
Editor = "Baader, F. and Voronkov, A.",
BookTitle = "{Proceedings of the 11th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning}",
Place = "Montevideo, Uruguay",
Series = "Lecture Notes in Artificial Intelligence",
Number = "3452",
Pages = "415-431",
Publisher = "Springer-Verlag",
Comment = "TPTPRef,TPTPData"
}