Šimeček, I. et al. 2017. Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination. Computing and Informatics. 35, 6 (Feb. 2017), 1307–1337.