@article{lmcs:2620, title = {On the locality of arb-invariant first-order formulas with modulo counting quantifiers}, author = {Frederik Harwath and Nicole Schweikardt}, url = {https://lmcs.episciences.org/2620}, doi = {10.2168/LMCS-12(4:8)2016}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 12, Issue 4}, eid = 8, year = {2017}, month = {Apr}, keywords = {Computer Science - Logic in Computer Science, F.4.1, H.2.3, F.1.3}, }