TY  - RPRT
TI  - On Use of an Explicit Congruence Predicate in Bounded Arithmetic
AU  - Yoriyuki Yamagata
PY  - 2009
UR  - https://arxiv.org/abs/0904.0335
ID  - 0904.0335
ER  -