Can a Higher-Order and a First-Order Theorem Prover Cooperate?.

Christoph Benzmller, Volker Sorge, Mateja Jamnik, Manfred Kerber

Browse the full LPAR paper archive.