PARCAR: Parallel Cost-Based Abductive Reasoning System. - Shohei Kato; Chiemi Kamakura; Hirohisa Seki; Hidenori Itoh (IEA/AIE, 1996)

Efficient Transformation for Bottom-up Computation of Stable Models. - Chiemi Kamakura; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (DDLP, 1997)