HONG, LISKA, STEINBERG, 1997. Testing Stability by Quantifier Elimination 24.. https://doi.org/10.1006/jsco.1997.0121