@inproceedings{Ben05d,
    Author = {M. Benedetti},
    Booktitle = {Proc. of 20th International Conference on Automated Deduction (CADE05)},
    Title = {{sKizzo: a Suite to Evaluate and Certify QBFs}},
    Year = {2005}}