EFFICIENT AND MODULAR COALGEBRAIC PARTITION REFINEMENT. - WISSMANN, THORSTEN; DORSCH, ULRICH; MILIUS, STEFAN; SCHRÖDER, LUTZ (Logical Methods in Computer Science (LMCS), 2020)