@misc{indiciae3b263d43f2a2,
  title = {Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs},
  author = {Thomas Powell},
  year = {2018},
  url = {https://arxiv.org/abs/1812.05851},
  note = {Source identifier: 1812.05851}
}