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