@TechReport{      holo2,
  Author        = {Neumann, Eike and Ouaknine, Jo{\"e}l and Worrell, James},
  date-added    = "2021-02-22 09:28:23 +0100",
  date-modified = "2021-02-22 09:28:40 +0100",
  Title         = "Decision problems for second-order holonomic recurrences",
  File          = "Decision problems for second-order holonomic recurrences - holonomic-second-order21 - a - b.pdf"
}

@TechReport{ holo2, Author = {Neumann, Eike and Ouaknine, Jo{\"e}l and Worrell, James}, date-added = "2021-02-22 09:28:23 +0100", date-modified = "2021-02-22 09:28:40 +0100", Title = "Decision problems for second-order holonomic recurrences", File = "Decision problems for second-order holonomic recurrences - holonomic-second-order21 - a - b.pdf" }