TY  - RPRT
TI  - Decidable models of small theories
AU  - Alex Gavryushkin
PY  - 2015
DO  - 10.1134/s1995080215040198
UR  - https://arxiv.org/abs/1504.01180
ID  - 1504.01180
ER  -