A simplifier for untyped lambda expressions (1990)

by L Galbiati, C L Talcott
Venue:In Proceedings Conditional Term Rewriting Systems, Lecture Notes in Computer Science