Judy Goldsmith Robert H. Sloan György Turán Theory Revision with Queries: DNF Formulas. 257-295 2002 47 Machine Learning 2-3 db/journals/ml/ml47.html#GoldsmithST02