Yuichi Goto Takahiro Koh Jingde Cheng A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. 526-535 2008 KES (2) http://dx.doi.org/10.1007/978-3-540-85565-1_65 conf/kes/2008-2 db/conf/kes/kes2008-2.html#GotoKC08