Benedetto Intrigila Anna Rita Laurenzi Two Problems on Reduction Graphs in Lambda Calculus. 133-144 2000 44 Fundam. Inform. 1-2 db/journals/fuin/fuin44.html#IntrigilaL00 http://iospress.metapress.com/content/a2v6g810ywq83ukq/