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