BIRŠTUNAS, A. Efektyvi sprendimo procedūra modaliniam operatoriui Belief. Lietuvos matematikos rinkinys, v. 45, n. spec., p. 321–325, 18 gruodž.2005.