Skew confluence and the lambda calculus with letrec (0)

by AB02 Z M Ariola, S Blom
Venue:Ann. Pure Appl. Logic