A Fast Duplication Checking Algorithm for Forward Reasoning Engines.

Takahiro Koh, Yuichi Goto, Jingde Cheng

Browse the full KES paper archive.