A
[APT82] Bengt Aspvall, Michael F. Plass, and Robert Endre Tarjan. Erratum (A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas). Information Processing Letters 14(4):195. Elsevier, June 1982.
@article{ipl14(4)-APT,
  author =              {Aspvall, Bengt and Plass, Michael F. and Tarjan,
                         Robert Endre},
  title =               {Erratum (A Linear-Time Algorithm for Testing the
                         Truth of Certain Quantified Boolean Formulas)},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {14},
  number =              {4},
  pages =               {195},
  year =                {1982},
  month =               jun,
}
List of authors