Herbrand schemes for cyclic proofs. - Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E (Journal of Logic & Computation, 2025)