Equivalence Between Systems Stronger Than Resolution.

Maria Luisa Bonet, Jordi Levy

Browse the full SAT paper archive.