Alonderis R. (2012). Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Lietuvos Matematikos Rinkinys, 53(A), 1–6. https://doi.org/10.15388/LMR.A.2012.01