On the complexity of regular resolution and the Davis–Putnam procedure, Theoret (1977)

by Z Galil
Venue:Comput. Sci