@misc{indiciae57532af3857e,
  title = {Deciding first-order properties of locally tree-decomposable structures},
  author = {Markus Frick and Martin Grohe},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0004007},
  note = {Source identifier: cs/0004007}
}