@article {1707.00925, archivePrefix = {arXiv}, eprint = {1707.00925}, primaryClass = {math.AC}, author = {Mohamed Barakat and Markus Lange-Hegermann and Sebastian Posur}, title = {Elimination via saturation}, year = {2017}, url = {http://arxiv.org/abs/1707.00925} }