Cyclic Lambda Graph Rewriting (1994)

by AK94 Z M Ariola, J W Klop
Venue:In LICS 1994