Eduardo Sany Laber, Marco Molinaro: An Approximation Algorithm for Binary Searching in Trees. Algorithmica 59(4): 601-620 (2011)