Cyclic lambda graph rewriting (1994)

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