T. Pipatsrisawat and A. Darwiche, “A Lower Bound on the Size of Decomposable Negation Normal Form”, AAAI, vol. 24, no. 1, pp. 345–350, Jul. 2010.