Proc ESOP 90, LNCS 432, Springer 1990
(1990)
H. Kuchen et al, (1990)
H. Kuchen et al, "Graph-Based Implementation of a Functional Logic Language", pp271-290.