TY  - RPRT
TI  - The First-Order Theory of Ground Tree Rewrite Graphs
AU  - Stefan Göller
AU  - Markus Lohrey
PY  - 2014
DO  - 10.2168/lmcs-10(1:7)2014
UR  - https://arxiv.org/abs/1107.0919
ID  - 1107.0919
ER  -