An Extension of the Boyer–Moore Theorem prover to Support First-Order Quantification (1992)

by M Kaufmann
Venue:Journal of Automated Reasoning