@article{DBLP:journals/apal/BaazH01, author = {Matthias Baaz and Petr H{\'a}jek and Franco Montagna and Helmut Veith}, title = {Complexity of t-tautologies}, number = {1-3}, year = {2001}, journal = {Ann. Pure Appl. Logic}, pages = {3--11}, volume = {113} }