@Article{         DBLP:journals/eccc/ECCC-TR97-055,
  Author        = "Litow, Bruce E.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-09-25 19:36:50 +0200",
  date-modified = "2012-09-25 19:37:08 +0200",
  ee            = "http://eccc.hpi-web.de/eccc-reports/1997/TR97-055/index.html",
  Journal       = "Electronic Colloquium on Computational Complexity (ECCC)",
  Keywords      = "recurrent sequeces",
  Number        = "55",
  Title         = "A Decision Method for the Rational Sequence Problem",
  Volume        = "4",
  Year          = "1997"
}

@Article{ DBLP:journals/eccc/ECCC-TR97-055, Author = "Litow, Bruce E.", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-09-25 19:36:50 +0200", date-modified = "2012-09-25 19:37:08 +0200", ee = "http://eccc.hpi-web.de/eccc-reports/1997/TR97-055/index.html", Journal = "Electronic Colloquium on Computational Complexity (ECCC)", Keywords = "recurrent sequeces", Number = "55", Title = "A Decision Method for the Rational Sequence Problem", Volume = "4", Year = "1997" }