TY  - RPRT
TI  - Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
AU  - Fedor Part
AU  - Iddo Tzameret
PY  - 2019
UR  - https://arxiv.org/abs/1806.09383
ID  - 1806.09383
ER  -