Essentials of term graph rewriting (0)

by D Plump
Venue:Electr. Notes Theor. Comput. Sci