Michal Parnas Dana Ron Alex Samorodnitsky Testing Basic Boolean Formulae. 20-46 2002 16 SIAM J. Discrete Math. 1 http://epubs.siam.org/sam-bin/dbq/article/40744 db/journals/siamdm/siamdm16.html#ParnasRS02