TY - RPRT TI - Detailed Steps of the Fourier-Motzkin Elimination AU - Xiaoli Xu AU - Yong Zeng AU - Yong Liang Guan AU - Tracey Ho PY - 2012 UR - https://arxiv.org/abs/1207.1512 ID - 1207.1512 ER -