Functional Instantiation in First Order Logic (1991)

by R S Boyer, D Goldshlag, M Kaufmann, J S Moore
Venue:Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy