@article{weko_13825_1,
   author	 = "佐々木,重雄 and 井田,哲雄",
   title	 = "制約解消系を備えた関数・論理型言語の処理系とその実装",
   journal	 = "情報処理学会論文誌",
   year 	 = "1995",
   volume	 = "36",
   number	 = "9",
   pages	 = "2152--2160",
   month	 = "sep"
}