Aho , Hopcroft and Ullman credit it to S. Rao Kosaraju and Micha Sharir -- Kosaraju suggested it in 1978 but did not publish it .
Micha Sharir independently discovered it and published it in 1981 .
Aho , Hopcroft and Ullman credit it to S. Rao Kosaraju and Micha Sharir -- Kosaraju suggested it in 1978 but did not publish it , while Sharir independently discovered it and published it in 1981 .