@misc{indiciae01b1af17a3c1, title = {Mechanical Proofs of Properties of the Tribonacci Word}, author = {Hamoon Mousavi and Jeffrey Shallit}, year = {2014}, url = {https://arxiv.org/abs/1407.5841}, note = {Source identifier: 1407.5841} }