A General-Purpose Forward Deduction Engine for Modal Logics.

Shinsuke Nara Takashi Omi Yuichi Goto Jingde Cheng A General-Purpose Forward Deduction Engine for Modal Logics. 739-745 2005 conf/kes/2005-2 KES (2) http://dx.doi.org/10.1007/11552451_101 db/conf/kes/kes2005-2.html#NaraOGC05