@article{oai:repository.dl.itc.u-tokyo.ac.jp:00048966,
 author = {NAGAI, Ayumu and IMAI, Hiroshi},
 issue = {10},
 journal = {IEICE TRANSACTIONS on Information and Systems},
 month = {Oct},
 note = {PAPER},
 pages = {1645--1653},
 title = {Proof for the Equivalence between Some Best-First Algorithms and Depth-First Algorithms for AND/€OR Trees},
 volume = {E85-D},
 year = {2002}
}