author = {T. Kutsia and B. Buchberger},
title = {{Predicate Logic with Sequence Variables and Sequence Function Symbols}},
language = {english},
year = {2004},
month = {September},
annote = {2004-09-19-A},
note = {Contributed talk at the 3rd International Conference on Mathematical Knowledge Management (MKM'04)},
conferencename = {the 3rd International Conference on Mathematical Knowledge Management (MKM'04)}