1
On the interaction of lazy evaluation and backtracking : Symposium on programming language implementation and logic programming 1992: paper : PLILP 1992: paper : 1992.
Book
2
Parallel functional implementations: graphbased vs stackbased reduction.
Book
Hogen, R.
1994