Illner, P.; Kučera, P. A Compiler for Weak Decomposable Negation Normal Form. AAAI 2024, 38, 10562-10570.