TY  - RPRT
TI  - Effective Prime Uniqueness
AU  - Peter Cholak
AU  - Charlie McCoy
PY  - 2017
UR  - https://arxiv.org/abs/1412.5976
ID  - 1412.5976
ER  -