@techreport{weko_22761_1,
   author	 = "琴野実 and 大村伸一 and 東本謙治 and 馬渡幸夫 and 謝章文",
   title	 = "OL - resolutionにもとづく論理的プログラム合成系・Pilot II",
   year 	 = "1979",
   institution	 = "京産大・理, 京産大・理, 京産大・理, 京産大・理, 京産大・計科研",
   number	 = "49(1978-SE-009)",
   month	 = "mar"
}