@article{weko_4699_1,
   author	 = "横田,実",
   title	 = "論理型言語指向の推論マシン：2. 論理型言語の逐次実行処理方式",
   journal	 = "情報処理",
   year 	 = "1991",
   volume	 = "32",
   number	 = "4",
   month	 = "apr"
}