Anand S. Rao Michael P. Georgeff Decision Procedures for BDI Logics. 293-342 1998 8 J. Log. Comput. 3 db/journals/logcom/logcom8.html#RaoG98 http://dx.doi.org/10.1093/logcom/8.3.293