| |
| 1986 | ||
|---|---|---|
| 2 | Robert G. Bandes: Constraining-Unification and the Programming Language UNICORN. Logic Programming: Functions, Relations, and Equations 1986: 397-410 | |
| 1984 | ||
| 1 | Robert G. Bandes: Constraining-Unification and the Programming Language Unicorn. POPL 1984: 106-110 | |