Šimeček, I., Fritsch, R., Langr, D., & Lorencz, R. (2016). Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination. Computing and Informatics, 35(6), 1307–1337. https://cai.type.sk/content/2016/6/parallel-solver-of-large-systems-of-linear-inequalities-using-fourier-motzkin-elimination/