@inproceedings{Ben05b,
    Author = {M. Benedetti},
    Booktitle = {Proc. of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT05)},
    Title = {{Quantifier Trees for QBFs}},
    Year = {2005}}