Confluent Rewriting of Bisimilar Term Graphs

Detlef Plump, Zena M. Ariola, Jan Willem Klop

Research output: Contribution to journalArticlepeer-review

Cite this