Bisimilarity in Term Graph Rewriting

Zena M. Ariola, Jan Willem Klop, Detlef Plump. Bisimilarity in Term Graph Rewriting. Inf. Comput., 156(1-2):2-24, 2000.

Abstract

Abstract is missing.