A characterization of the sets of hypertrees generated by hyperedge-replacement graph grammarsThe use of tree transducers to compute translations between graph algebras
