Š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.