@techreport{weko_49278_1,
   author	 = "森,辰則 and 中川,裕志",
   title	 = "Prologプログラム変換に基づく否定情報の扱える制約システム",
   year 	 = "1994",
   institution	 = "横浜国立大学工学部電子情報工学科, 横浜国立大学工学部電子情報工学科",
   number	 = "47(1994-NL-101)",
   month	 = "may"
}