Víctor Dalmau Peter Jeavons Learnability of Quantified Formulas. 63-78 http://link.springer.de/link/service/series/0558/bibs/1572/15720063.htm 1999 conf/eurocolt/1999 EuroCOLT db/conf/eurocolt/eurocolt1999.html#DalmauJ99