Polynomial Bounds of CFLOBDDs against BDDs. - Xusheng Zhi; Thomas Reps (ACM Trans. Program. Lang. Syst., 2025)