Lemma and Cut Strategies for Two-Sided Propositional Resolution (Extended Abstract) (1996)

by Allen Van Gelder , Fumiaki Kamiya