Birštunas, Adomas. „Efektyvi sprendimo procedūra modaliniam operatoriui Belief“. Lietuvos matematikos rinkinys, t. 45, nr. spec., 2005 m.gruodžio, p. 321–325, https://doi.org/10.15388/LMR.2005.26673.