Smolka, G. "Fresh: A Higher-Order Language Based on Unification"

DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986  

Languages mentioned Fresh {1986}