Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J. Strother Moore. Functional Instantiation in First-Order Logic. In Vladimir Lifschitz, editor, Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. pages 7-26, Academic Press / Elsevier, 1991. [doi]
Abstract is missing.