@Article{         2018arXiv181004763P,
  Author        = "{Parys}, P.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv181004763P",
  ArchivePrefix = "arXiv",
  date-added    = "2018-10-14 08:41:07 +0000",
  date-modified = "2018-10-16 08:19:38 +0000",
  EPrint        = "1810.04763",
  Journal       = "ArXiv e-prints",
  Keywords      = "citesme!",
  Month         = "October",
  PrimaryClass  = "cs.LO",
  Title         = "{Recursion Schemes, the MSO Logic, and the U quantifier}",
  Year          = "2018",
  File          = "Recursion Schemes, the MSO Logic, and the U quantifier - 1810.04763 - a - a - b.pdf",
  file-2        = "1810.04763 (0) - a - a - b.pdf"
}

@Article{ 2018arXiv181004763P, Author = "{Parys}, P.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv181004763P", ArchivePrefix = "arXiv", date-added = "2018-10-14 08:41:07 +0000", date-modified = "2018-10-16 08:19:38 +0000", EPrint = "1810.04763", Journal = "ArXiv e-prints", Keywords = "citesme!", Month = "October", PrimaryClass = "cs.LO", Title = "{Recursion Schemes, the MSO Logic, and the U quantifier}", Year = "2018", File = "Recursion Schemes, the MSO Logic, and the U quantifier - 1810.04763 - a - a - b.pdf", file-2 = "1810.04763 (0) - a - a - b.pdf" }