Displaying similar documents to “Artin groups of finite type are biautomatic.”