PP-2023-08: Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for Cyclic Proofs 1.Full Text, 2.Abstract. < Back