@article{weko_15424_1,
   author	 = "宮崎,収兄 and 羽生田,博美 and 伊藤,英則",
   title	 = "ホーン節変換：演繹データベースにおける部分評価の応用",
   journal	 = "情報処理学会論文誌",
   year 	 = "1988",
   volume	 = "29",
   number	 = "1",
   pages	 = "47--53",
   month	 = "jan"
}