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.