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.

P.  Eirinakis, Ruggieri, S., Subramani, K., and Wojciechowski, P., ?On quantified linear implications?, Annals of Mathematics and Artificial Intelligence, vol. 71, pp. 301?325, 2014.