William M. Farmer;Ronald J. Watro
-;-
Infinitary Combinatory Reduction Systems
Information and Computation
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae