A. Birstunas, “Sequent calculus usage for BDI agent implementation”, LMR, vol. 46, no. spec., pp. 232–237, Sep. 2023, doi: 10.15388/LMR.2006.30715.