Artin groups of extra-large type are biautomatic
scientific article; zbMATH DE number 896563
scientific article