ALONDERIS, Romas; PLIUŠKEVIČIUS, Regimantas; PLIUŠKEVIČIENĖ, Aida. Finite sequent calculi for PLTL. Lietuvos matematikos rinkinys, [S. l.], v. 56, n. A, p. 1–6, 2015. DOI: 10.15388/LMR.A.2015.01. Disponível em: https://www.journals.vu.lt/LMR/article/view/14916.. Acesso em: 29 apr. 2024.