@article{weko_18458_1,
   author	 = "鷹野,芙美代 and 関根,敦史 and 佐田,宏史 and 前川,仁孝 and 六沢,一昭",
   title	 = "AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索",
   journal	 = "情報処理学会論文誌コンピューティングシステム（ACS）",
   year 	 = "2004",
   volume	 = "45",
   number	 = "SIG11(ACS7)",
   pages	 = "280--289",
   month	 = "oct"
}