@misc{indiciae31fb947dadb2, title = {Covering and separation for logical fragments with modular predicates}, author = {Thomas Place and Varun Ramanathan and Pascal Weil}, year = {2019}, doi = {10.23638/lmcs-15(2:11)2019}, url = {https://arxiv.org/abs/1804.08883}, note = {Source identifier: 1804.08883} }