M. Luttermann, T. Braun, R. Möller, and M. Gehrke, “Colour Passing Revisited: Lifted Model Construction with Commutative Factors”, AAAI, vol. 38, no. 18, pp. 20500–20507, Mar. 2024.