TY - RPRT TI - Mechanical Proofs of Properties of the Tribonacci Word AU - Hamoon Mousavi AU - Jeffrey Shallit PY - 2014 UR - https://arxiv.org/abs/1407.5841 ID - 1407.5841 ER -