@misc{indiciae0a3f6b66a818,
  title = {Proof Verification Can Be Hard!},
  author = {Naveen Sundar Govindarajulu and Selmer Bringsjord},
  year = {2017},
  url = {https://arxiv.org/abs/1703.08746},
  note = {Source identifier: 1703.08746}
}