Capelli, F.; Lagniez, J.-M.; Marquis, P. Certifying Top-Down Decision-DNNF Compilers. AAAI 2021, 35, 6244-6253.