J.G.: Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (2010)

by J Ketema, Simonsen
Venue:In: FUNCTIONAL AND LOGIC PROGRAMMING. Volume 6009 of LNCS