Sven Kosub Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems http://arxiv.org/abs/0801.3802 2008 CoRR abs/0801.3802 db/journals/corr/corr0801.html#abs-0801-3802 informal publication