TY  - RPRT
TI  - Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc
AU  - Sravanthi Chede
AU  - Anil Shukla
PY  - 2021
UR  - https://arxiv.org/abs/2107.04547
ID  - 2107.04547
ER  -