TY  - RPRT
TI  - Redundancy in Logic II: 2CNF and Horn Propositional Formulae
AU  - Paolo Liberatore
PY  - 2005
DO  - 10.1016/j.artint.2007.06.003
UR  - https://arxiv.org/abs/cs/0506074
ID  - cs/0506074
ER  -