Hans Kleine Büning Xishun Zhao On Models for Quantified Boolean Formulas. 18-32 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3075&spage=18 2004 conf/birthday/2004richter Logic versus Approximation db/conf/birthday/richter2004.html#BuningZ04