An optimal strategy for algorithmic debugging | Publicación