Covering and separation for logical fragments with modular predicates (Logical Methods in Computer Science, 2019)