Elementary equivalence in Artin groups of finite type. - Arpan Kabiraj; T. V. H. Prathamesh; Rishi Vyas (Int. J. Algebra Comput., 2018)