@InProceedings{Kutsia01UNIF,
  author =       "Temur Kutsia",
  editor =       "Franz Baader and Volker Diekert and Cesare Tinelli and Ralf Treinen",
  title =        "Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols",
  booktitle =    "Proceedings of the 17th International Workshop on Unification ({UNIF'03})",
  address =      "Siena, Italy",
  month =        "18--19 " # jun,
  year =         "2001",
  pages =        "20--23",
}