Wolfgang Lux Implementing Encapsulated Search for a Lazy Functional Logic Language. 100-113 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#Lux99 https://doi.org/10.1007/10705424_7