Stefan Andrei Gheorghe Grigoras Manfred Kudlek Cristian Masalagiu On the Complexity of Propositional Calculus Formulae. 27-44 2001 10 Sci. Ann. Cuza Univ. db/journals/cuza/cuza10.html#AndreiGKM01