@InProceedings{Kutsia02Calculemus,
  author =       "Temur Kutsia",
  editor =       "Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge",
  title =        "Unification with Sequence Variables and Flexible Arity Symbols and its Extension with Pattern-Terms",
  booktitle =    "Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AISC'2002 -- Calculemus'2002 conference",
  address =      "Marseille, France",
  month =        "1--5 " # jul,
  series =       "Lecture Notes in Artificial Intelligence",
  publisher =    "Springer Verlag",
  volume =       "2385",
  year =         "2002",
  pages   =      "290--304",
  ISBN =         "3-540-43865-3",
}