@misc{indiciaeec3223bd0888,
  title = {The Epsilon Calculus with Equality and Herbrand Complexity},
  author = {Kenji Miyamoto and Georg Moser},
  year = {2019},
  url = {https://arxiv.org/abs/1904.11304},
  note = {Source identifier: 1904.11304}
}