author = {Temur Kutsia},
title = {{Solving Equations Involving Sequence Variables and Sequence Functions}},
booktitle = {{Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {3249},
pages = {157--170},
publisher = {Springer Verlag},
address = {Hagenberg, Austria},
isbn_issn = {ISBN 3-540-23212-5},
year = {2004},
month = {Sep 22--24},
editor = {Bruno Buchberger and John A.~Campbell},
refereed = {yes},
length = {14}