An annotated bibliography on guaranteed graph searching