Zheng, Yang, Li, Wang, Hung, 2013. An efficient algorithm for finding attractors in synchronous Boolean networks with biochemical applications 12.. https://doi.org/10.4238/2013.october.18.4