@PhdThesis{       pinaultphd,
  Author        = "Pinault, Laureline",
  date-added    = "2021-05-04 15:52:52 +0200",
  date-modified = "2021-05-04 15:53:54 +0200",
  Month         = "July",
  School        = "ENS Lyon",
  Title         = "From automata to cyclic proofs: equivalence algorithms and descriptive complexity",
  Year          = "2021",
  File          = "From automata to cyclic proofs- equivalence algorithms and descriptive complexityMa - nuscrit.pdf"
}

@PhdThesis{ pinaultphd, Author = "Pinault, Laureline", date-added = "2021-05-04 15:52:52 +0200", date-modified = "2021-05-04 15:53:54 +0200", Month = "July", School = "ENS Lyon", Title = "From automata to cyclic proofs: equivalence algorithms and descriptive complexity", Year = "2021", File = "From automata to cyclic proofs- equivalence algorithms and descriptive complexityMa - nuscrit.pdf" }