TY  - RPRT
TI  - Artin groups of large type are shortlex automatic with regular geodesics
AU  - Derek F Holt
AU  - Sarah Rees
PY  - 2010
DO  - 10.1112/plms/pdr035
UR  - https://arxiv.org/abs/1003.6007
ID  - 1003.6007
ER  -