The Completeness of Propositional Resolution: A Simple and Constructive Proof (Logical Methods in Computer Science, 2006)