On the modularity of confluence of constructor-sharing term rewriting systems (1994)

by E Ohlenbusch
Venue:Trees in Algebra and Programming – CAAP 94, LNCS 787