Boyer, Robert S.,
Goldschag, David M.,
Kaufman, Matt and
Moore, J. Strother. 1991.
“Functional Instantiation in First-Order Logic.” in
Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir
Lifschitz, pp. 7–26. New York: Academic Press.