@misc{indiciae83a8f78b4db2, title = {Detailed Steps of the Fourier-Motzkin Elimination}, author = {Xiaoli Xu and Yong Zeng and Yong Liang Guan and Tracey Ho}, year = {2012}, url = {https://arxiv.org/abs/1207.1512}, note = {Source identifier: 1207.1512} }