D. Fišer, “Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level”, ICAPS, vol. 33, no. 1, pp. 118-127, Jul. 2023.