Hoon Hong, Richard Liska, Stanly Steinberg. Testing Stability by Quantifier Elimination. Journal of Symbolic Computation, 24(2):161-187, 1997.
@article{HongLS97,
title = {Testing Stability by Quantifier Elimination},
author = {Hoon Hong and Richard Liska and Stanly Steinberg},
year = {1997},
tags = {testing},
researchr = {https://researchr.org/publication/HongLS97},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {24},
number = {2},
pages = {161-187},
}