@misc{indiciae4c56b755adc6,
  title = {Non-Depth-First Search against Independent Distributions on an AND-OR Tree},
  author = {Toshio Suzuki},
  year = {2017},
  doi = {10.1016/j.ipl.2018.06.013},
  url = {https://arxiv.org/abs/1709.07358},
  note = {Source identifier: 1709.07358}
}