Sakalauskaitė, J. (2010) “Partial cut elimination for propositional discrete linear time temporal logic”, Lietuvos matematikos rinkinys, 51(proc. LMS), pp. 347–351. doi:10.15388/LMR.2010.63.