@PhdThesis{       AlmeidaPhD,
  Author        = "Almeida, Ricardo Manuel de Oliveira",
  date-added    = "2018-11-14 15:57:52 +0100",
  date-modified = "2018-11-14 15:58:41 +0100",
  School        = "University of Edinburgh",
  Title         = "Efficient algorithms for hard problems in nondeterministic tree automata",
  Year          = "2017",
  File          = "Almeida2017 (0) - a - a - y.pdf"
}

@PhdThesis{ AlmeidaPhD, Author = "Almeida, Ricardo Manuel de Oliveira", date-added = "2018-11-14 15:57:52 +0100", date-modified = "2018-11-14 15:58:41 +0100", School = "University of Edinburgh", Title = "Efficient algorithms for hard problems in nondeterministic tree automata", Year = "2017", File = "Almeida2017 (0) - a - a - y.pdf" }