@Article{         OuaknineWorrell,
  Author        = "Ouaknine, Joel and Worrell, James",
  date-added    = "2014-04-16 14:28:53 +0000",
  date-modified = "2014-04-16 14:29:03 +0000",
  EPrint        = "1309.1914",
  Month         = "09",
  Title         = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences",
  URL           = "http://arxiv.org/abs/1309.1914",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1309.1914",
  File          = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences - Ouaknine, Worrell (0) (0) - a - a - i.pdf",
  file-2        = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences - Ouaknine, Worrell (1) (0) - a - a - i.pdf"
}

@Article{ OuaknineWorrell, Author = "Ouaknine, Joel and Worrell, James", date-added = "2014-04-16 14:28:53 +0000", date-modified = "2014-04-16 14:29:03 +0000", EPrint = "1309.1914", Month = "09", Title = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences", URL = "http://arxiv.org/abs/1309.1914", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1309.1914", File = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences - Ouaknine, Worrell (0) (0) - a - a - i.pdf", file-2 = "Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences - Ouaknine, Worrell (1) (0) - a - a - i.pdf" }