F. Capelli, J.-M. Lagniez, and P. Marquis, “Certifying Top-Down Decision-DNNF Compilers”, AAAI, vol. 35, no. 7, pp. 6244-6253, May 2021.