Bandes, Robert G. "Constraining-Unification and the Programming Language UNICORN"

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

Languages mentioned UNICORN {1986}