Semmling, C., and H. Wansing. “From BDI and Stit to Bdi-Stit Logic”. Logic and Logical Philosophy, vol. 17, no. 1-2, June 2008, pp. 185-07, doi:10.12775/LLP.2008.011.