TY  - RPRT
TI  - Bounded arithmetic AID for Frege system
AU  - Toshiyasu Arai
PY  - 1998
UR  - https://arxiv.org/abs/math/9809205
ID  - math/9809205
ER  -