[1]
Alonderis R. 2012. Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Lietuvos matematikos rinkinys. 53, A (gruodž. 2012), 1–6. DOI:https://doi.org/10.15388/LMR.A.2012.01.