On the Complexity of Regular Resolution (1977)

by Z Gallil
Venue:and the Davis and Putnam's Procedure. Theoretical Computer Science