author = {Temur Kutsia},
title = {{Theorem Proving with Sequence Variables and Flexible Arity Symbols}},
booktitle = {{Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 9th International Conference, LPAR'02}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {2514},
pages = {278--291},
publisher = {Springer Verlag},
address = {Tbilisi, Georgia},
isbn_issn = {ISBN 3-540-00010-0},
year = {2002},
month = {Oct14--18},
editor = {Matthias Baaz and Andrei Voronkov},
refereed = {yes},
length = {14}