Substitutive Arnoux-Rauzy sequences have pure discrete spectrum
scientific article; zbMATH DE number 6336941