@misc{indiciae43d7161fee7d,
  title = {Proceedings 9th International Workshop on Computing with Terms and Graphs},
  author = {Andrea Corradini and Hans Zantema},
  year = {2016},
  doi = {10.4204/eptcs.225},
  url = {https://arxiv.org/abs/1609.03014},
  note = {Source identifier: 1609.03014}
}