Complexity analysis of propositional resolution with autarky pruning (2000)

by A Van Gelder
Venue:Discrete Applied Mathematics