On the Interaction of Lazy Evaluation and Backtracking (1992)

by W Hans, R Loogen, S Winkler
Venue:In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming