TY  - RPRT
TI  - Proof Verification Can Be Hard!
AU  - Naveen Sundar Govindarajulu
AU  - Selmer Bringsjord
PY  - 2017
UR  - https://arxiv.org/abs/1703.08746
ID  - 1703.08746
ER  -