Stefan Krischer Alexander Bockmayr Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. 74-85 1991 conf/rta/1991 RTA db/conf/rta/rta91.html#KrischerB91 http://dx.doi.org/10.1007/3-540-53904-2_87