@TechReport{      skolem,
  Author        = {Luca, Florian and Ouaknine, Jo{\"e}l and Worrell, James},
  date-added    = "2021-02-14 13:06:55 +0100",
  date-modified = "2021-02-14 13:07:26 +0100",
  Title         = "Universal Skolem Sets",
  Year          = "2021",
  File          = "Universal Skolem Sets - skolem\_sets21 - a - l.pdf"
}

@TechReport{ skolem, Author = {Luca, Florian and Ouaknine, Jo{\"e}l and Worrell, James}, date-added = "2021-02-14 13:06:55 +0100", date-modified = "2021-02-14 13:07:26 +0100", Title = "Universal Skolem Sets", Year = "2021", File = "Universal Skolem Sets - skolem_sets21 - a - l.pdf" }