A Compiler for Weak Decomposable Negation Normal Form. - Petr Illner; Petr Kucera (AAAI, 2024)

New Compilation Languages Based on Restricted Weak Decomposability. - Petr Illner (AAAI, 2025)