The Complexity of Propositional Implication (0)

by O Beyersdorff, A Meier, M Thomas, H Vollmer
Venue:IPL