@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",
    Address      = "Berlin, Germany",
    Comment      = "TPTPRef,TPTPData"
}