Alonderis, Romas, Regimantas Pliuškevičius, and Aida Pliuškevičienė. 2015. “Baigtiniai Sekvenciniai skaičiavimai Tiesinio Laiko Teiginių Logikai”. Lietuvos Matematikos Rinkinys 56 (A): 1–6. https://doi.org/10.15388/LMR.A.2015.01.