Herbrand complexity and the epsilon calculus with equality. - Miyamoto, Kenji; Moser, Georg (Archive for Mathematical Logic, 2024)