@misc{indiciae202a9491fc1b,
  title = {A Modal Logic for Termgraph Rewriting},
  author = {Ph. Balbiani and R. Echahed and A. Herzig},
  year = {2010},
  url = {https://arxiv.org/abs/1003.4369},
  note = {Source identifier: 1003.4369}
}