Integrating a first-order automatic prover (1991)

by R Kumar, T Kropf, K Schneider
Venue:in the HOL