Fišer, D. Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems. AAAI 2020, 34, 9835-9842.