@Unpublished{     figueira:hal-02109188,
  Author        = "Figueira, Diego and Ramanathan, Varun and Weil, Pascal",
  date-added    = "2019-05-14 15:04:15 +0200",
  date-modified = "2019-05-14 15:04:15 +0200",
  hal_id        = "hal-02109188",
  hal_version   = "v1",
  Keywords      = "automatic relations ; first-order logic ; characterization ; quantifier alternation",
  Month         = "April",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-02109188/file/hal-version.pdf",
  Title         = "{The Quantifier Alternation Hierarchy of Synchronous Relations}",
  URL           = "https://hal.archives-ouvertes.fr/hal-02109188",
  Year          = "2019",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-02109188",
  File          = "hal-version (0) (0) - a - a - x.pdf"
}

@Unpublished{ figueira:hal-02109188, Author = "Figueira, Diego and Ramanathan, Varun and Weil, Pascal", date-added = "2019-05-14 15:04:15 +0200", date-modified = "2019-05-14 15:04:15 +0200", hal_id = "hal-02109188", hal_version = "v1", Keywords = "automatic relations ; first-order logic ; characterization ; quantifier alternation", Month = "April", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-02109188/file/hal-version.pdf", Title = "{The Quantifier Alternation Hierarchy of Synchronous Relations}", URL = "https://hal.archives-ouvertes.fr/hal-02109188", Year = "2019", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-02109188", File = "hal-version (0) (0) - a - a - x.pdf" }