@PHDTHESIS{hazar2022,
url = "http://www.theses.fr/2022ENSL0022",
title = "Non-determinism, explorable automata and cyclic proofs",
author = "Hazard, Émile",
year = "2022",
note = "Thèse de doctorat dirigée par Pous, Damien Informatique Lyon, École normale supérieure 2022",
note = "2022ENSL0022",
url = "http://www.theses.fr/2022ENSL0022/document",
}