A. de Colnet and S. Mengel, “Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation”, AAAI, vol. 36, no. 5, pp. 5564-5572, Jun. 2022.