Robert G. Bandes Constraining-Unification and the Programming Language UNICORN. 397-410 1986 Logic Programming: Functions, Relations, and Equations db/books/collections/DeGrootL86.html#Bandes86