Alonderis, R. 2002. Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime. Lietuvos matematikos rinkinys. 42, spec. (Dec. 2002), 461–465. DOI:https://doi.org/10.15388/LMR.2002.32977.