Krzysztof Onak Pawel Parys Generalization of Binary Search: Searching in Trees and Forest-Like Partial Orders. 379-388 2006 conf/focs/2006 FOCS http://doi.ieeecomputersociety.org/10.1109/FOCS.2006.32 db/conf/focs/focs2006.html#OnakP06