The complexity of resolution procedures for theorem proving in the propositional calculus - Galil, Zvi (1975)