Naoyuki Nide Shiro Takata Tadashi Araragi Deduction Systems for BDI Logics with Mental State Consistency. 123-135 2002 conf/clima/2002 CLIMA III db/conf/clima/clima2002.html#NaoyukiTA02