TY  - RPRT
TI  - The Completeness of Propositional Resolution: A Simple and Constructive Proof
AU  - Jean Gallier
PY  - 2006
DO  - 10.2168/lmcs-2(5:3)2006
UR  - https://arxiv.org/abs/cs/0606084
ID  - cs/0606084
ER  -