author = {Temur Kutsia},
title = {{Pattern Unification with Sequence Variables and Flexible Arity Symbols}},
language = {english},
journal = {Electronic Notes on Theoretical Computer Science},
volume = {66},
number = {5},
pages = {1--18},
isbn_issn = {ISSN 1571-0661},
year = {2002},
refereed = {yes},
length = {18}