R. Alonderis, „Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime“, LMR, t. 42, nr. spec., p. 461–465, gruodž. 2002, doi: 10.15388/LMR.2002.32977.