@techreport{weko_31317_1,
   author	 = "岸川徳幸 and 中川裕志",
   title	 = "多重世界機構を用いた非単調論理",
   year 	 = "1985",
   institution	 = "横浜国立大学工学部情報工学科, 横浜国立大学工学部情報工学科",
   number	 = "41(1985-PRO-014)",
   month	 = "oct"
}