TY  - RPRT
TI  - Separation of bounded arithmetic using a consistency statement
AU  - Yoriyuki Yamagata
PY  - 2019
UR  - https://arxiv.org/abs/1904.06782
ID  - 1904.06782
ER  -