Olaf Beyersdorff Arne Meier Michael Thomas Heribert Vollmer The complexity of propositional implication. 1071-1077 2009 109 Inf. Process. Lett. 18 http://dx.doi.org/10.1016/j.ipl.2009.06.015 db/journals/ipl/ipl109.html#BeyersdorffMTV09