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

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

EPLAS: An Epistemic Programming Language for All Scientists. - Isao Takahashi; Shinsuke Nara; Yuichi Goto; Jingde Cheng (International Conference on Computational Science (1), 2007)

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

FreeEnCal: A Forward Reasoning Engine with General-Purpose. - Jingde Cheng; Shinsuke Nara; Yuichi Goto (KES (2), 2007)