@misc{indiciae24342066cb51, title = {A New Method for Variable Elimination in Systems of Inequations}, author = {Farhad Shirani Chaharsooghi and Mohammad Javad Emadi and Mahdi Zamanighomi and Mohammad Reza Aref}, year = {2011}, url = {https://arxiv.org/abs/1102.2602}, note = {Source identifier: 1102.2602} }