@techreport{weko_31109_1,
   author	 = "坂井,公 and 相場,亮",
   title	 = "CAL：制約論理プログラミングの理論と実例",
   year 	 = "1988",
   institution	 = "（財）新世代コンピュータ技術開発機構, （財）新世代コンピュータ技術開発機構",
   number	 = "8(1987-PRO-024)",
   month	 = "feb"
}