@misc{indiciae81fed1cda383,
  title = {The complexity of normal form rewrite sequences for Associativity},
  author = {Michael Niv},
  year = {1994},
  url = {https://arxiv.org/abs/cmp-lg/9406030},
  note = {Source identifier: cmp-lg/9406030}
}