Alonderis, Romas, et al. “Baigtiniai Sekvenciniai skaičiavimai Tiesinio Laiko Teiginių Logikai”. Lietuvos Matematikos Rinkinys, vol. 56, no. A, Dec. 2015, pp. 1–6, https://doi.org/10.15388/LMR.A.2015.01.