Richard Banach
-
Linear behaviour of term graph rewriting programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing