著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 能登 正人 and 栗原 正仁 and 大内 東,書換え系理論を用いた講座配属アルゴリズムの完備性の解析,"情報処理学会研究報告. AL, アルゴリズム研究会報告",09196072,一般社団法人情報処理学会,1995-03-17,44,,21-28,https://cir.nii.ac.jp/crid/1573950401930666880,