On quantified linear implications

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski. On quantified linear implications. Annals of Mathematics and Artificial Intelligence, 71(4):301-325, 2014. [doi]

Abstract

Abstract is missing.