Alonderis, Romas. „Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų“. Lietuvos matematikos rinkinys, t. 41, nr. spec., 2001 m.gruodžio, p. 403–407, https://doi.org/10.15388/LMR.2001.34620.