Making Query Processing Goal-Directed in Disjunctive Logic Databases. - Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ICLP, 1995)

Goal-Directed Query Processing in Disjunctive Logic Databases - Yuka Shimajiri; Hiroshi Seki; Hidenori Itoh (PLILP, 1995)

Constructing More Relevant Models. - Lifeng He; Yuyan Chao; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ASIAN, 1996)

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

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. - Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ICLP, 1997)

A-SATCHMORE: SATCHMORE with Availability Checking. - Lifeng He; Yuyan Chao; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (New Gener. Comput., 1998)