Mizera, Pang, Qu, Yuan, 2017. A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-69483-2_14