Manuel M. T. Chakravarty Hendrik C. R. Lock The Implementation of Lazy Narrowing. 123-134 1991 PLILP db/conf/plilp/plilp91.html#ChakravartyL91 http://dx.doi.org/10.1007/3-540-54444-5_93