TY  - RPRT
TI  - Unit contradiction versus unit propagation
AU  - Olivier Bailleux
PY  - 2012
UR  - https://arxiv.org/abs/1204.0731
ID  - 1204.0731
ER  -