@article{SlivovskySzeider16a,
 author = {Slivovsky, Friedrich and Szeider, Stefan},
 doi = {10.1007/s10817-015-9353-1},
 journal = {Journal of Automated Reasoning},
 number = {4},
 pages = {459--477},
 title = {Quantifier reordering for {QBF}},
 url = {http://dx.doi.org/10.1007/s10817-015-9353-1},
 volume = {56},
 year = {2016}
}