Hiroshi Sakai, Akimichi Okuma An Algorithm for Checking Dependencies of Attributes in a Table with Non-deterministic Information: A Rough Sets Based Approach. [Citation Graph (0, 0)][DBLP] PRICAI, 2000, pp:219-229 [Conf]
Hiroshi Sakai, Akimichi Okuma On a Theorem Prover for Variational Logic Programs with Functors Setu and Sets. [Citation Graph (0, 0)][DBLP] International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000, v:8, n:1, pp:73-92 [Journal]