@ARTICLE{Kutsia07JSC,
  AUTHOR =       {Temur Kutsia},
  TITLE =        {Solving Equations with Sequence Variables and Sequence Functions},
  JOURNAL =      {Journal Symbolic Computation},
  YEAR =         {2007},
  volume =       {42},
  number =       {3},
  pages =        {352--388},
  month =        {},
  abstract =     {},
  keywords =     {},
  source =       {doi:10.1016/j.jsc.2006.12.002},
}