On the complexity of resolution procedures for theorem proving - Galil, Zvi (1974)