A. Indrzejczak, “Admissibility of cut in congruent modal logics”, LLP, vol. 20, no. 3, pp. 189–203, Nov. 2011.