Iterated Resultants and Rational Functions in Real Quantifier Elimination. - Davenport, James H.; England, Matthew; McCallum, Scott; Uncu, Ali K. (Mathematics in Computer Science, 2025)