Birštunas A. Efficient decision procedure for Belief modality. LMR [Internet]. 2005 Dec. 18 [cited 2025 Oct. 29];45(spec.):321–325. Available from: https://test.zurnalai.vu.lt/LMR/article/view/26673