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