キュウべぇ……
QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability
http://www.springerlink.com/content/0jcgrgr4adtw1p48/
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2766