@phdthesis{Renans2016,
  author      = {Agata Maria Renans},
  title       = {Exhaustivity},
  type        = {doctoralthesis},
  pages       = {221},
  school      = {Universit{\"a}t Potsdam},
  year        = {2016},
}