Functional instantiation in first order logic (1991)

by Robert S Boyer, David M Goldschlag, Matt Kaufmann, J Strother Moore
Venue:In: GROUP, UNIVERSITY OF GOTEBORG, Citeseer