TY  - RPRT
TI  - Decidable Fragment of Theories in Field Arithmetic
AU  - Chun-Yu Lin
PY  - 2020
UR  - https://arxiv.org/abs/1912.09155
ID  - 1912.09155
ER  -