TY  - RPRT
TI  - The Epsilon Calculus with Equality and Herbrand Complexity
AU  - Kenji Miyamoto
AU  - Georg Moser
PY  - 2019
UR  - https://arxiv.org/abs/1904.11304
ID  - 1904.11304
ER  -