TY - RPRT TI - QRAT Polynomially Simulates Merge Resolution AU - Sravanthi Chede AU - Anil Shukla PY - 2021 UR - https://arxiv.org/abs/2107.09320 ID - 2107.09320 ER -