@electronic{Ben04,
    Author = {Benedetti, M.},
    Title = {{sKizzo: a QBF Decision Procedure based on Propositional Skolemization and Symbolic Reasoning, Tech.Rep. 04-11-03, ITC-irst}, 2004}}