@misc {IOPORT.70316623,
    author       = {Calabro, Chris and Impagliazzo, Russell and Paturi, Ramamohan},
    title        = {On the exact complexity of evaluating quantified $k$-CNF},
    howpublished = {IPEC, 50-59 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-17493-3_7},
    identifier   = {70316623},
}