@article{AdlerWeyer2012,
  author    = {Isolde Adler and Mark Weyer},
  title     = {Tree-width for first order formulae},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {1:32},
  pages     = {1 -- 34},
  doi       = {10.2168/LMCS-8(1:32)2012},
  year      = {2012},
}