Cymer, Radosław. “Propagation Rules for Graph Partitioning Constraints”. Journal of Graph Algorithms and Applications, vol. 20, no. 2, Feb. 2016, pp. 363-10, doi:10.7155/jgaa.00397.