D. . Aleknavičiūtė ir S. . Norgėla, „Išvedimo paieška Hibridinėje logikoje“, LMR, t. 48, nr. proc. LMS, p. 252–255, gruodž. 2008, doi: 10.15388/LMR.2008.18104.