@techreport{weko_31429_1,
   author	 = "山口,高平 and 淡誠一郎 and 打浪,清一 and 手塚慶一",
   title	 = "Parallel Resolution Algorithm for Logic Machine",
   year 	 = "1983",
   institution	 = "Faculty of Engineering Osaka University, Faculty of Engineering Osaka University, Faculty of Engineering Osaka University, Faculty of Engineering Osaka University",
   number	 = "31(1983-PRO-006)",
   month	 = "sep"
}