author = {Temur Kutsia and Mircea Marin},
title = {{Unification Procedure for Terms with Sequence Variables and Sequence Functions (Extended Abstract).}},
booktitle = {{Proceedings of the 18th International Workshop on Unification (UNIF'04)}},
language = {english},
pages = {1--13},
address = {Cork, Ireland},
year = {2004},
month = {5},
editor = {Michael Kohlhase},
refereed = {yes},
length = {13}