P. Illner and P. Kučera, “A Compiler for Weak Decomposable Negation Normal Form”, AAAI, vol. 38, no. 9, pp. 10562-10570, Mar. 2024.