Keisuke Tanaka Tetsuro Nishino On the complexity of negation-limited Boolean networks. 38-47 1994 STOC http://doi.acm.org/10.1145/195058.195099 db/conf/stoc/stoc1994.html#TanakaN94