Juan José Moreno-Navarro Herbert Kuchen Julio Mariño-Carballo Stephan Winkler Werner Hans Efficient Lazy Narrowing using Demandedness Analysis. 167-183 1993 conf/plilp/1993 PLILP db/conf/plilp/plilp93.html#Moreno-NavarroKMWH93