Cuts for circular proofs: semantics and cut-elimination. - Jérôme Fortier; Luigi Santocanale (CSL, 2013)

Cuts for circular proofs. - Jérôme Fortier; Luigi Santocanale (TACL, 2013)

Exhaustive generation of gominoes. - Jérôme Fortier; Alain Goupil; Jonathan Lortie; Jérôme Tremblay (Theor. Comput. Sci., 2013)

Puissance expressive des preuves circulaires. (Expressive Power of Circular Proofs). - Jérôme Fortier (2014)