Sakalauskaitė, Jūratė. “Partial Cut Elimination for Propositional Discrete Linear Time Temporal Logic”. Lietuvos Matematikos Rinkinys, vol. 51, no. proc. LMS, Dec. 2010, pp. 347–351, https://doi.org/10.15388/LMR.2010.63.