Computational studies on formation and intermolecular [1+2] cycloadditions of nitrilimines