1. Taki, K., “Parallel Inference Machine PIM,”International Conference on Fifth Generation Computer Systems 1992, 1992.
2. Chikayama, T., “Operating System PIMOS and Kernel Language KL1,”International Conference on Fifth Generation Computer Systems 1992, 1992.
3. Nitta, K.,et al., “HELIC-II: A Legal Reasoning System on the Parallel Inference Machine,”International Conference on Fifth Generation Computer Systems 1992, 1992
4. Nitta, K.,et al., “A Computational Model for Trial Reasoning,” to appear inProc. Fourth Int. Conf. on AI and Law, 1993.
5. Wong, S., “A Situation Theoretic Model for Trial Reasoning,”Proc. Int. Sympo. on Legal Knowledge and Legal Reasoning Systems, 1992.