@techreport{weko_31570_1,
   author	 = "琴野実 and 大村伸一 and 宮沢君江 and 謝章文",
   title	 = "Logical Program SynthesisのImplementation（pilot1）について",
   year 	 = "1978",
   institution	 = "京産大・理, 京産大・理, 京産大・理, 京産大・計科研",
   number	 = "43(1977-PRO-003)",
   month	 = "feb"
}