A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas

Authors: Bengt Aspvall, Michael F. Plass, Robert Endre Tarjan - Information Processing Letters 1979 cited by 901