On the complexity of regular resolution and the Davis-Putnam procedure (1977)

by Z Galil
Venue:Theoretical Computer Science