D. Fišer, “Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems”, AAAI, vol. 34, no. 06, pp. 9835-9842, Apr. 2020.