I. Šimeček, R. Fritsch, D. Langr, and R. Lórencz, “Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination”, Comput. Inform., vol. 35, no. 6, pp. 1307–1337, Feb. 2017.