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

by Christoph Benzmüller , Volker Sorge , Mateja Jamnik , Manfred Kerber
Venue:IN FRANZ BAADER AND ANDREI VORONKOV, EDITORS, LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING — 11TH INTERNATIONAL WORKSHOP, LPAR 2004, LNAI 3452
Citations:11 - 8 self