Confluent rewriting of bisimilar term graphs

Zena M. Ariola, Jan Willem Klop, Detlef Plump. Confluent rewriting of bisimilar term graphs. Electronic Notes in Theoretical Computer Science, 7:19, 1997. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: