Heinrich Wansing Tableaux for multi-agent deliberative-stit logic. 503-520 2006 conf/aiml/2006 Advances in Modal Logic http://www.aiml.net/volumes/volume6/Wansing.ps db/conf/aiml/aiml2006.html#Wansing06