TY  - RPRT
TI  - A Modal Logic for Termgraph Rewriting
AU  - Ph. Balbiani
AU  - R. Echahed
AU  - A. Herzig
PY  - 2010
UR  - https://arxiv.org/abs/1003.4369
ID  - 1003.4369
ER  -