Cyclic proofs for the first-order µ-calculus. - Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E (Logic Journal of the IGPL, 2024)