@misc{indiciae4c81540e0e52,
  title = {Problems parameterized by treewidth tractable in single exponential time: a logical approach},
  author = {Michał Pilipczuk},
  year = {2011},
  url = {https://arxiv.org/abs/1104.3057},
  note = {Source identifier: 1104.3057}
}