Jun Tarui Smallest Formulas for Parity of 2k. 92-99 2008 COCOON http://dx.doi.org/10.1007/978-3-540-69733-6_10 conf/cocoon/2008 db/conf/cocoon/cocoon2008.html#Tarui08