Philippe Balbiani Andreas Herzig Nicolas Troquard Alternative axiomatics and complexity of deliberative STIT theories http://arxiv.org/abs/0704.3238 2007 CoRR abs/0704.3238 db/journals/corr/corr0704.html#abs-0704-3238 informal publication informal publication