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