Amadeo Casas Daniel Cabeza Manuel V. Hermenegildo A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. 146-162 2006 conf/flops/2006 FLOPS http://dx.doi.org/10.1007/11737414_11 db/conf/flops/flops2006.html#CasasCH06