@TechReport{      litow,
  Author        = "Litow, Bruce Edward",
  date-added    = "2023-01-23 14:31:15 +0100",
  date-modified = "2023-01-23 14:31:50 +0100",
  Month         = "December",
  Title         = "A Decision Method for the Rational Sequence Problem",
  Year          = "1997",
  File          = "A Decision Method for the Rational Sequence Problem - TR97-055.pdf"
}

@TechReport{ litow, Author = "Litow, Bruce Edward", date-added = "2023-01-23 14:31:15 +0100", date-modified = "2023-01-23 14:31:50 +0100", Month = "December", Title = "A Decision Method for the Rational Sequence Problem", Year = "1997", File = "A Decision Method for the Rational Sequence Problem - TR97-055.pdf" }