A logic programming language with λ-abstraction, function variables, and simple unification (1991)

by D Miller
Venue:Journal of Logic and Computation