On a generalization of extended resolution. Submitted to Discrete Applied Mathematics (special edition on the satisfiability problem); revised version of [17 (1996)

by Oliver Kullmann