Kinetic and mechanistic study on the pyrolysis of 1,3-dihydroisothianaphthene-2,2-dioxide toward benzocyclobutene using RRKM and BET theories