Stem lse$ (all stems)
2 papers:
ALP-1994-WernerBK #how- How to Realize LSE Narrowing (AW, AB, SK), pp. 59–76.
 
RTA-1991-KrischerB #detection- Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test (SK, AB), pp. 74–85.
 
ALP-1994-WernerBK #how
RTA-1991-KrischerB #detection