Non-Determinism and Lazy Evaluation in Logic Programming.

Sergio Antoy Non-Determinism and Lazy Evaluation in Logic Programming. 318-331 1991 LOPSTR db/conf/lopstr/lopstr91.html#Antoy91