The Theory Grid and Grid Theorists. - Jingde Cheng; Shinsuke Nara; Takahiro Koh; Yuichi Goto (SKG, 2006)

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. - Jingde Cheng; Yuichi Goto; Shinsuke Nara; Takahiro Koh (KES (2), 2007)

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. - Yuichi Goto; Takahiro Koh; Jingde Cheng (KES (2), 2008)

A Fast Duplication Checking Algorithm for Forward Reasoning Engines. - Takahiro Koh; Yuichi Goto; Jingde Cheng (KES (2), 2008)