Steffen Reith: On the Complexity of Some Equivalence Problems for Propositional Calculi. MFCS 2003: 632-641