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 (1), 50-56.