@inproceedings{DawarGroKreSch07,
  author = "Anuj Dawar and Martin Grohe and Stephan Kreutzer and Nicole Schweikardt",
  booktitle = "International Colloquium on Automata, Languages and Programming (ICALP)",
  pages = "913-924",
  series = "Lecture Notes in Computer Science",
  title = "Model theory makes formulas large",
  volume = "4596",
  year = "2007",
}