Michael Hanus Towards the Global Optimization of Functional Logic Programs. 68-82 1994 conf/cc/1994 CC db/conf/cc/cc94.html#Hanus94 http://dx.doi.org/10.1007/3-540-57877-3_5