1
Graph based implementation of a functional logic language.
Book
Kuchen, H.
1989