TY - RPRT TI - Distributed Coalgebraic Partition Refinement AU - Fabian Birkmann AU - Hans-Peter Deifel AU - Stefan Milius PY - 2022 UR - https://arxiv.org/abs/2204.06248 ID - 2204.06248 ER -