1. Satoh K , Asai K , Kogawa T , Kubota M , Nakamura M , Nishigai Y , PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology . In: JSAI international symposium on artificial intelligence. Springer; 2010 . p. 153 -- 164 . Satoh K, Asai K, Kogawa T, Kubota M, Nakamura M, Nishigai Y, et al. PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: JSAI international symposium on artificial intelligence. Springer; 2010. p. 153--64.
2. Ito S. Lecture series on ultimate facts. Shojihomu (in Japanese) . 2008 . Ito S. Lecture series on ultimate facts. Shojihomu (in Japanese). 2008.
3. Deep semantic interpretations of legal texts
4. Nakamura , M. , Nobuoka , S. , Shimazu , A. : Towards translation of legal sentences into logical forms. JSAI-isAI 2007 : New Frontiers in Artificial Intelligence pp. 349 -- 362 (2008). Nakamura, M., Nobuoka, S., Shimazu, A.: Towards translation of legal sentences into logical forms. JSAI-isAI 2007: New Frontiers in Artificial Intelligence pp. 349--362 (2008).