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