Polynomial Bounds of CFLOBDDs against BDDs. - Zhi, Xusheng; Reps, Thomas (ACM Transactions on Programming Languages & Systems, 2025)