Endre Tarjan. A linear-time algorithm for testing the truth of certain quantified boolean formulas (1979)

by Bengt Aspvall, Michael F Plass, Robert
Venue:Inf. Process. Lett