Birstunas, Adomas. 2023. “Sequent Calculus Usage for BDI Agent Implementation”. Lietuvos Matematikos Rinkinys 46 (spec.): 232–237. https://doi.org/10.15388/LMR.2006.30715.