A. E. Gerevini, F. Percassi, and E. Scala, “An Effective Polynomial Technique for Compiling Conditional Effects Away”, AAAI, vol. 38, no. 18, pp. 20104-20112, Mar. 2024.