Linear behaviour of term graph rewriting programs (1995)

by R Banach, G A Papadopoulos
Venue:26–28 February, ACM