The Complexity of Resolution Procedures for Theorem Proving in the Propo- sitional Calculus (1975)

by Zvi Galil