Modeling the formation of polar stratospheric clouds with allowance for kinetic and heterogeneous processes