C
[CGS98] Marco Cadoli, Andrea Giovanardi, and Marco Schaerf. An Algorithm to Evaluate Quantified Boolean Formulae. In AAAI-IAAI'98, pages 262-267. MIT Press, July 1998. 
@inproceedings{aaai-iaai1998-CGS,
  author =              {Cadoli, Marco and Giovanardi, Andrea and Schaerf,
                         Marco},
  title =               {An Algorithm to Evaluate Quantified Boolean
                         Formulae},
  booktitle =           {{P}roceedings of the 15th {N}ational {C}onference on
                         {A}rtificial {I}ntelligence ({AAAI}'98) and 10th
                         {I}nnovative {A}pplications of {A}rtificial
                         {I}ntelligence {C}onference ({IAAI}'98)},
  acronym =             {{AAAI-IAAI}'98},
  publisher =           {MIT Press},
  pages =               {262-267},
  year =                {1998},
  month =               jul,
}
List of authors