@Article{         Cadilhac:2017aa,
  Author        = {Cadilhac, Micha{\"e}l and Paperman, Charles},
  Abstract      = "First-order logic (FO) over words is shown to be equiexpressive with FO equipped with a restricted set of numerical predicates, namely the order, a binary predicate MSB",
  date-added    = "2017-03-28 12:46:09 +0000",
  date-modified = "2017-03-28 12:46:09 +0000",
  EPrint        = "1701.02673",
  Month         = "01",
  Title         = "A Crevice on the Crane Beach: Finite-Degree Predicates",
  URL           = "https://arxiv.org/abs/1701.02673",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1701.02673",
  File          = "1701.02673 (0) - a - a - v.pdf"
}

@Article{ Cadilhac:2017aa, Author = {Cadilhac, Micha{\"e}l and Paperman, Charles}, Abstract = "First-order logic (FO) over words is shown to be equiexpressive with FO equipped with a restricted set of numerical predicates, namely the order, a binary predicate MSB", date-added = "2017-03-28 12:46:09 +0000", date-modified = "2017-03-28 12:46:09 +0000", EPrint = "1701.02673", Month = "01", Title = "A Crevice on the Crane Beach: Finite-Degree Predicates", URL = "https://arxiv.org/abs/1701.02673", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1701.02673", File = "1701.02673 (0) - a - a - v.pdf" }