@ARTICLE{KutsiaLevyVillaret09JSC,
  AUTHOR =       {Temur Kutsia and Jordi Levy and Mateu Villaret},
  TITLE =        {On the Relation Between Context and Sequence Unification},
  JOURNAL =      {Journal of Symbolic Computation},
  YEAR =         {2010},
  volume =       {45},
  number =       {1},
  pages =        {74--95},
  source =       {http://dx.doi.org/10.1016/j.jsc.2009.07.001},
}