Local Validity for Circular Proofs in Linear Logic with Fixed Points. - Rémi Nollet; Alexis Saurin; Christine Tasson (CSL, 2018)

PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. - Rémi Nollet; Alexis Saurin; Christine Tasson (TABLEAUX, 2019)