ALONDERIS, R. Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 461–465, 20 gruodž.2002.