@misc{indiciae56b974813ce8, title = {Commensurating HNN-extensions: non-positive curvature and biautomaticity}, author = {Ian J. Leary and Ashot Minasyan}, year = {2021}, doi = {10.2140/gt.2021.25.1819}, url = {https://arxiv.org/abs/1907.03515}, note = {Source identifier: 1907.03515} }