Alonderis, R. 2001. Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų. Lietuvos matematikos rinkinys. 41, spec. (Dec. 2001), 403–407. DOI:https://doi.org/10.15388/LMR.2001.34620.