@TechReport{      holo,
  Author        = {Kenison, George and Klurman, Oleksiy and Lefaucheux, Engel and Luca, Florian and Moree, Pieter and Ouaknine, Jo{\"e}l and Whiteland, Markus A. and Worrell, James},
  date-added    = "2021-02-22 09:26:07 +0100",
  date-modified = "2021-02-22 09:26:33 +0100",
  Title         = "On inequality decision problems for low-order holonomic sequences",
  File          = "On inequality decision problems for low-order holonomic sequences - inequality\_holonomic21 - a - z.pdf"
}

@TechReport{ holo, Author = {Kenison, George and Klurman, Oleksiy and Lefaucheux, Engel and Luca, Florian and Moree, Pieter and Ouaknine, Jo{\"e}l and Whiteland, Markus A. and Worrell, James}, date-added = "2021-02-22 09:26:07 +0100", date-modified = "2021-02-22 09:26:33 +0100", Title = "On inequality decision problems for low-order holonomic sequences", File = "On inequality decision problems for low-order holonomic sequences - inequality_holonomic21 - a - z.pdf" }