On the complexity of regular resolution and the davisputnam procedure (1977)

by Z Galil
Venue:Theoretical Computer Science