Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (TABLEAUX, 2021)

A Cyclic Proof System for Full Computation Tree Logic. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (CSL, 2023)

Demystifying μ. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (CoRR, 2024)