Semmling, C. and Wansing, H. (2008) “From BDI and stit to bdi-stit logic”, Logic and Logical Philosophy, 17(1-2), pp. 185–207. doi: 10.12775/LLP.2008.011.