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.