Víctor Dalmau A Dichotomy Theorem for Learning Quantified Boolean Formulas. 207-224 1999 35 Machine Learning 3 db/journals/ml/ml35.html#Dalmau99