@incollection{MB05a,
    Author = {M. Benedetti},
    Booktitle = {Proc. of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR04)},
    Number = {3452},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {{Evaluating QBFs via Symbolic Skolemization}},
    Year = {2005}}