Röbenack, Klaus, and Rick Voßwinkel. 2020. “Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem”. Acta Cybernetica 24 (3), 409-27. https://doi.org/10.14232/actacyb.24.3.2020.8.