On the interaction of lazy evaluation and backtracking (1992)

by Werner Hans, Rita Loogen, Stefan Winkler
Venue:Programming Lanugage Implementation and Logic Programming