author = {Temur Kutsia},
title = {{Unification in a Free Theory with Sequence Variables and Flexible Arity Symbols and its Extensions}},
language = {english},
number = {02-6},
year = {2002},
institution = {Johannes Kepler University, Linz, Austria},
length = {53},
type = {SFB Report}