@PhdThesis{       Doumane:2017aa,
  Author        = "Doumane, Amina",
  date-added    = "2017-10-23 12:12:38 +0000",
  date-modified = "2017-10-23 12:13:22 +0000",
  Month         = "June",
  School        = "'Universit{\'e} Paris Diderot (Paris 7) Sorbonne Paris Cit{\'e}",
  Title         = "On the infinitary proof theory of logics with fixed points",
  Year          = "2017",
  File          = "these (0) - a - a - h.pdf"
}

@PhdThesis{ Doumane:2017aa, Author = "Doumane, Amina", date-added = "2017-10-23 12:12:38 +0000", date-modified = "2017-10-23 12:13:22 +0000", Month = "June", School = "'Universit{\'e} Paris Diderot (Paris 7) Sorbonne Paris Cit{\'e}", Title = "On the infinitary proof theory of logics with fixed points", Year = "2017", File = "these (0) - a - a - h.pdf" }