Korf, R. E. Finding the Exact Diameter of a Graph With Partial Breadth-First Searches. SOCS 2021, 12, 73-78.