FRESH: a higher-order language with uni and multiple results (1986)

by G Smolka
Venue:Logic Programming: Functions, Relations, and Equations