Hyperedge replacement jungle rewriting for termrewriting systems and programming (1993)

by A Corradini, F Rossi
Venue:Theor. Comput. Sci