@INPROCEEDINGS{Kutsia_Levy_Villaret_RTA07,
  AUTHOR =       {Temur Kutsia and Jordi Levy and Mateu Villaret},
  TITLE =        {Sequence Unification Through Currying},
  BOOKTITLE =    {Proceedings of the 18th International Conference on Rewriting Techniques and Applications ({RTA'07})},
  YEAR =         {2007},
  editor =       {Franz Baader},
  volume =       {4533},
  number =       {},
  series =       {Lecture Notes in Computer Science},
  pages =        {288--302},
  address =      {},
  month =        {},
  organization = {},
  publisher =    {Springer Verlag},
  note =         {},
  abstract =     {},
  keywords =     {},
}