TY  - RPRT
TI  - Verifier Theory and Unverifiability
AU  - Roman V. Yampolskiy
PY  - 2016
UR  - https://arxiv.org/abs/1609.00331
ID  - 1609.00331
ER  -