A Simplifier for Untyped Lambda Expressions. - Louis Galbiati; Carolyn L. Talcott (CTRS, 1990)