Sven Kosub Christopher M. Homan Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. 163-174 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#KosubH07