NORGĖLA, S. Rezoliucijų metodas hibridinėms logikoms. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 253–256, 15 gruodž.2011.