Kazuo Iwama Hiroki Morizumi Jun Tarui Negation-Limited Complexity of Parity and Inverters. 223-232 2006 conf/isaac/2006 ISAAC http://dx.doi.org/10.1007/11940128_24 db/conf/isaac/isaac2006.html#IwamaMT06