"Efficient Lazy Narrowing using Demandedness Analysis."

Juan José Moreno-Navarro et al. (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics