TY  - RPRT
TI  - Redundancy in Logic I: CNF Propositional Formulae
AU  - Paolo Liberatore
PY  - 2002
DO  - 10.1016/j.artint.2004.11.002
UR  - https://arxiv.org/abs/cs/0211031
ID  - cs/0211031
ER  -