TY - RPRT TI - On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups AU - Martin R. Bridson AU - Lawrence Reeves PY - 2011 DO - 10.1007/s11425-011-4212-y UR - https://arxiv.org/abs/1102.5652 ID - 1102.5652 ER -