@article{weko_64278_1,
   author	 = "上田,和紀",
   title	 = "20世紀の名著名論：J. A. Robinson: A Machine - Oriented Logic Based on the Resolution Principle",
   journal	 = "情報処理",
   year 	 = "2002",
   volume	 = "43",
   number	 = "7",
   month	 = "jul"
}