@article{weko_184912_1, author = "松岡,聡", title = "バックトラッキング機構とIDリンクの依存関係を用いた乗法的線形論理の証明探索", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2017", volume = "10", number = "6", pages = "4--4", month = "dec" }