author = {Temur Kutsia},
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)}},
language = {english},
pages = {20--23},
address = {Siena, Italy},
year = {2001},
month = {June 18-19},
editor = {Franz Baader and Volker Diekert and Cesare Tinelli and Ralf Treinen},
refereed = {yes},
length = {4}