1991], "A logic programming language with lambda abstraction, function variables, and simple unification (0)

by D Miller
Venue:Journal of Logic and Computation