COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES. - PLACE, THOMAS; RAMANATHAN, VARUN; WEIL, PASCAL (Logical Methods in Computer Science (LMCS), 2019)