Ostapenko, V. V.; Finin, G. S. Methods for the Elimination of Unknowns from Systems of Linear Inequalities and Their Applications. Ukr. Mat. Zhurn. 2001, 53, 50-56.