TY - RPRT TI - The word problem of the Brin-Thompson group is coNP-complete AU - J. C. Birget PY - 2020 UR - https://arxiv.org/abs/1902.03852 ID - 1902.03852 ER -