Gerevini, A. E.; Percassi, F.; Scala, E. An Effective Polynomial Technique for Compiling Conditional Effects Away. AAAI 2024, 38, 20104-20112.