Can a higher-order and a first-order theorem prover cooperate (2005)

by C Benzmüller, V Sorge, M Jamnik, M Kerber
Venue:In Proc. of LPAR’05, volume 3452 of LNCS