{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
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.\par \par 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.\par \par }