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.