@misc{indiciae97efa34ee8b8,
  title = {Bounding essential arities of term operations in finitely decidable varieties},
  author = {Matthew Smedberg},
  year = {2013},
  url = {https://arxiv.org/abs/1311.2690},
  note = {Source identifier: 1311.2690}
}