@InProceedings{KutsiaBuchberger04MKM,
    author =    "Temur Kutsia and Bruno Buchberger",
    title =     "Predicate Logic with Sequence Variables and Sequence Function Symbols",
    editor =    "Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec",
    booktitle = "Proceedings of the 3rd International Conference on Mathematical Knowledge Management, {MKM'04}",
    address =   "Bialowieza, Poland",
    month =     "19--21 " # sep,
    series =    "Lecture Notes in Computer Science",
    volume =    "3119",
    publisher = "Springer Verlag",
    year =      "2004",
    pages =     "205--219",
    ISBN =      "3-540-23029-7",
}