@inproceedings{Ben05c,
    Author = {M. Benedetti},
    Booktitle = {Proc. of 9th International Joint Conference on Artificial Intelligence (IJCAI05)},
    Title = {{Extracting Certificates from Quantified Boolean Formulas}},
    Year = {2005}}