Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming.

Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano

Browse the full JURIX paper archive.