Normal deduction in the intuitionistic linear logic. - Mints, G. (Archive for Mathematical Logic, 1998)