@article{GroheSchweikardt2011,
  author    = {Martin Grohe and Nicole Schweikardt},
  title     = {The succinctness of first-order logic on linear orders},
  journal   = {Logical methods in computer science},
  volume    = {1},
  number    = {1, Art. 6},
  pages     = {1 -- 25},
  doi       = {10.2168/LMCS-1(1:6)2005},
  year      = {2011},
}