TY  - RPRT
TI  - Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality
AU  - Anton Belov
AU  - Joao Marques-Silva
PY  - 2012
UR  - https://arxiv.org/abs/1207.1257
ID  - 1207.1257
ER  -