TY - RPRT TI - Colour Passing Revisited: Lifted Model Construction with Commutative Factors AU - Malte Luttermann AU - Tanya Braun AU - Ralf Möller AU - Marcel Gehrke PY - 2023 UR - https://arxiv.org/abs/2309.11236 ID - 2309.11236 ER -