Behaviour of Term Graph Rewriting Programs (1995)

by R Banach, G Papadopoulos, Linear
Venue:in: Proc. ACM SAC-95