Equational term graph rewriting (1996)

Cached

Download Links

by Zena M. Ariola , Jan Willem Klop
Venue:FUNDAMENTA INFORMATICAE
Citations:70 - 8 self