Aspvall, Bengt; Plass, Michael F.; Tarjan, Robert E. (1979), “A linear-time algorithm for testing the truth of certain quantified boolean formulas”, 《Information Processing Letters》 8 (3): 121–123, doi:10.1016/0020-0190(79)90002-4.
Micha Sharir. A strong connectivity algorithm and its applications to data flow analysis. Computers and Mathematics with Applications 7(1):67–72, 1981.