Christian Codognet, Philippe Codognet: Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ICLP 1989: 63-79