TY  - RPRT
TI  - DRAT and Propagation Redundancy Proofs Without New Variables
AU  - Sam Buss
AU  - Neil Thapen
PY  - 2021
DO  - 10.23638/lmcs-17(2:12)2021
UR  - https://arxiv.org/abs/1909.00520
ID  - 1909.00520
ER  -