Cyclic Proofs for Transfinite Expressions. - Emile Hazard; Denis Kuperberg (CSL, 2022)

Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques). - Emile Hazard (2022)

Explorable Automata. - Emile Hazard; Denis Kuperberg (CSL, 2023)

Explorable Parity Automata. - Emile Hazard; Olivier Idir; Denis Kuperberg (CoRR, 2024)