A Simple Method of Mutual Translation between Japanese Sentences and Horn Clausesに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。