ALONDERIS, Romas; PLIUŠKEVIČIUS, Regimantas; PLIUŠKEVIČIENĖ, Aida. Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. 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.zurnalai.vu.lt/LMR/article/view/14916.. Acesso em: 29 apr. 2024.