Aleknavičiūtė, D. and Norgėla, S. (2008) “Išvedimo paieška Hibridinėje logikoje”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 252–255. doi:10.15388/LMR.2008.18104.