George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu: Faster real root decision algorithm for symmetric polynomials. ISSAC 2023: 452-460