- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng: A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) 2005: 739-745 |
| 1 | Jingde Cheng | [1] |
| 2 | Yuichi Goto | [1] |
| 3 | Shinsuke Nara | [1] |