ALEKNAVIČIŪTĖ, D.; NORGĖLA, S. Išvedimo paieška Hibridinėje logikoje. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 252–255, 21 gruodž.2008.