GIEDRA, H.; SAKALAUSKAITĖ, J. Sekvencinis skaičiavimas koreliatyvių žinių logikai. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 243–248, 15 gruodž.2011.