ALONDERIS, R. Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų. Lietuvos matematikos rinkinys, v. 41, n. spec., p. 403–407, 17 gruodž.2001.