TY - RPRT TI - A finitely presented orderable group with insoluble word problem AU - V. V. Bludov AU - A. M. W. Glass PY - 2010 DO - 10.1112/blms/bdr070 UR - https://arxiv.org/abs/1008.0507 ID - 1008.0507 ER -