Ab initio study on the nature of intermediates in zeolite catalyzed butene cracking