Fresh

"Fresh: A Higher-Order Language Based on Unification", G. Smolka, in Logic Programming: Functions, Relations and Equations, Doug DeGroot et al, Prentice-Hall, 1986, pp.469-524.