S.  Ruggieri, Eirinakis, P., Subramani, K., and Wojciechowski, P., ?On the complexity of quantified linear systems?, Theoretical Computer Science, vol. 518, pp. 128?134, 2014.