Artin groups of finite type are biautomatic (1992)

by R Charney