Ostapenko, V. V., & Finin, G. S. (2001). Methods for the Elimination of Unknowns from Systems of Linear Inequalities and Their Applications. Ukrains’kyi Matematychnyi Zhurnal, 53(1), 50-56. https://umj.imath.kiev.ua/index.php/umj/article/view/4220