The complexity of resolution procedures for theorem proving in the propositon-al calculus (1975)

by Z Galil