@article{oai:sgul.repo.nii.ac.jp:00001313,
 author = {長田, 博泰},
 issue = {2},
 journal = {社会情報 = Social Information},
 month = {Mar},
 note = {Bulletin},
 pages = {93--106},
 title = {シーケント計算に基づく証明系と法的推論への適用},
 volume = {10},
 year = {2001}
}