A linear time algorithm for testing the truth of certain quantified Boolean formulas (1979)

by B Aspvall, M F Plass, R E Tarjan
Venue:Information Processing Letters