Skew confluence and the lambda calculus with letrec (2002)

by Zena M Ariola, Stefan Blom
Venue:Ann. Pure Appl. Logic