Theoretical study on the regioselectivity of electrophilic aromatic substitution reactions of azulene