Compositional term rewriting: An algebraic proof of Toyama’s Theorem (1996)

by C Lüth
Venue:In: Rewriting Techniques and Applications