Cyclic lambda graph rewriting (1994)

by Z M Ariola, J W Klop
Venue:Pages 416{425 of: Proc. Ninth Symposium on Logic in Computer Science (LICS'94