A General-Purpose Forward Deduction Engine for Modal Logics. - Shinsuke Nara; Takashi Omi; Yuichi Goto; Jingde Cheng (KES (2), 2005)