Equational term graph rewriting (1996)

Cached

Download Links

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