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]

Abstract

Abstract is missing.