Semmling, C.; Wansing, H. From BDI and Stit to Bdi-Stit Logic. LLP 2008, 17, 185-207.