SAKALAUSKAITĖ, J. Partial cut elimination for combinations of propositional multi-modal logics with past time. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 257–261, 15 Dec.2011.