A. Birštunas, „Efektyvi sprendimo procedūra modaliniam operatoriui Belief“, LMR, t. 45, nr. spec., p. 321–325, gruodž. 2005, doi: 10.15388/LMR.2005.26673.