@inproceedings{RISC445,
author = {T. Kutsia and B. Buchberger},
title = {{Predicate Logic with Sequence Variables and Sequence Function Symbols}},
booktitle = {{Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {3119},
pages = {205--219},
publisher = {Springer Verlag},
address = {Bialowieza, Poland},
isbn_issn = {ISBN 3-540-23029-7},
year = {2004},
month = {Sep 19--21},
annote = {2004-09-19-A},
editor = {Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec},
refereed = {yes},
length = {15}
}