author = {Temur Kutsia},
title = {{Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols}},
language = {english},
year = {2002},
translation = {0},
school = {RISC, Johannes Kepler University of Linz},
length = {155}