TY  - RPRT
TI  - On proving consistency of equational theories in Bounded Arithmetic
AU  - Arnold Beckmann
AU  - Yoriyuki Yamagata
PY  - 2022
DO  - 10.1017/jsl.2025.6
UR  - https://arxiv.org/abs/2203.04832
ID  - 2203.04832
ER  -