Papers on JURIS-INFORMATICSas of Jaunary 22, 2013 下の論文タイトルをクリックすると本体を見ることができます。 (You can download papers by clicking the title). 見れない場合は、ksatoh at nii.ac.jpまで依頼いただければお送ります。 (If you cannot download a paper, please request me by sending an email to "ksatoh at nii.ac.jp". I will send the papers to you by email within 24 hours.). JURIS-INFORMATICS: General Perspective Satoh, K., ``Logic Programming and Burden of Proof in Logic
