Herbrand schemes for first-order logic. - Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E. (Archive for Mathematical Logic, 2025)