1
Independent AND parallel narrowing.
Book
Kuchen, H.
1992
2
Lazy narrowing in a graph machine.
Book