We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1609.03014 can endorse.

Proceedings 9th International Workshop on Computing with Terms and Graphs

Andrea Corradini and Hans Zantema are not registered as owners of this paper. (why?)