arXiv 2013-11-12 EN Bounding essential arities of term operations in finitely decidable varieties Smedberg, Matthew
