C. Semmling and H. Wansing, “From BDI and stit to bdi-stit logic”, LLP, vol. 17, no. 1-2, pp. 185–207, Jun. 2008.