@article{HarwathSchweikardt2017,
  author    = {Frederik Harwath and Nicole Schweikardt},
  title     = {On the locality of arb-invariant first-order formulas with modulo counting quantifiers},
  journal   = {Logical methods in computer science},
  volume    = {12},
  number    = {4, Art. 8},
  pages     = {1 -- 34},
  doi       = {10.2168/LMCS-12(4:8)2016},
  year      = {2017},
}