Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence (1989)

by J Gallier, V Breazu-Tannen
Venue:In Proc. of ICALP, volume 372 of LNCS