@misc{indiciae5fb52f48267b, title = {A quantitative Birman-Menasco finiteness theorem and its application to crossing number}, author = {Tetsuya Ito}, year = {2020}, doi = {10.1112/topo.12259}, url = {https://arxiv.org/abs/2010.12150}, note = {Source identifier: 2010.12150} }