Šimeček, I.; Fritsch, R.; Langr, D.; Lórencz, R. Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination. Comput. Inform. 2017, 35, 1307-1337.