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.