RISC RISC Research Institute for Symbolic Computation  
  • @phdthesis{RISC2771,
    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}
    }