TY  - RPRT
TI  - The complexity of normal form rewrite sequences for Associativity
AU  - Michael Niv
PY  - 1994
UR  - https://arxiv.org/abs/cmp-lg/9406030
ID  - cmp-lg/9406030
ER  -