Pipatsrisawat, T.; Darwiche, A. A Lower Bound on the Size of Decomposable Negation Normal Form. AAAI 2010, 24, 345-350.