Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) 落合 秀幸 and 青戸 等人 and 外山 芳人,修正AC単調意味論経路順序によるAC停止性,電子情報通信学会技術研究報告 = IEICE technical report : 信学技報,09135685,東京 : 電子情報通信学会,2005-03-18,104,743,23-31,https://cir.nii.ac.jp/crid/1520009409420737408,