@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239159,
 author = {山口, 文彦 and 中西, 正和 and Yamaguchi, Fumihiko and Nakanishi, Masakazu},
 book = {第38回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {13--20},
 publisher = {情報処理学会},
 title = {線形論理上の帰納推論},
 volume = {1997},
 year = {1997}
}