Dana Angluin Jeffery Westbrook Wenhong Zhu Robot Navigation with Distance Queries. 110-144 2000 30 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp30.html#AngluinWZ00