Applications of Logic Programs with Functor Set to Automated Problem Solving Under Uncertainty. - Hiroshi Sakai; Akimichi Okuma (IEA/AIE, 1996)

An Algorithm for Finding Equivalence Relations from Tables with Non-Deterministic Information. - Hiroshi Sakai; Akimichi Okuma (RSFDGrC, 1999)

An Algorithm for Checking Dependencies of Attributes in a Table with Non-deterministic Information: A Rough Sets Based Approach. - Hiroshi Sakai; Akimichi Okuma (PRICAI, 2000)

On a Theorem Prover for Variational Logic Programs with Functors Setu and Sets. - Hiroshi Sakai; Akimichi Okuma (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000)

Basic Algorithms and Tools for Rough Non-deterministic Information Analysis. - Hiroshi Sakai; Akimichi Okuma (Trans. Rough Sets, 2004)