@TechReport{      pseudo-skolem,
  Author        = {D'Costa, Julian and Karimov, Toghrul and Majumdar, Rupak and Ouaknine, Jo{\"e}l and Salamati, Mahmoud and Soudjani, Sadegh and Worrell, James},
  date-added    = "2021-02-22 09:27:35 +0100",
  date-modified = "2021-02-22 09:28:05 +0100",
  Title         = "The Pseudo-Skolem Problem is decidable",
  File          = "The Pseudo-Skolem Problem is decidable - pseudo-skolem21 - a - n.pdf"
}

@TechReport{ pseudo-skolem, Author = {D'Costa, Julian and Karimov, Toghrul and Majumdar, Rupak and Ouaknine, Jo{\"e}l and Salamati, Mahmoud and Soudjani, Sadegh and Worrell, James}, date-added = "2021-02-22 09:27:35 +0100", date-modified = "2021-02-22 09:28:05 +0100", Title = "The Pseudo-Skolem Problem is decidable", File = "The Pseudo-Skolem Problem is decidable - pseudo-skolem21 - a - n.pdf" }