Fišer, D. Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level. ICAPS 2023, 33, 118-127.