Hans Kleine Büning K. Subramani Xishun Zhao Boolean Functions as Models for Quantified Boolean Formulas. 49-75 2007 39 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-007-9067-0 db/journals/jar/jar39.html#BuningSZ07