Yushan Qu, Jon Lee: On disjunction convex hulls by big-M lifting. Discret. Appl. Math. 371: 31-45 (2025)