X. Y. Li, Yang, G. W., Zheng, D. S., Guo, W. S., and Hung, W. N. N.,
“An efficient algorithm for computing fixed length attractors based on bounded model checking in synchronous Boolean networks with biochemical applications”, vol. 14, pp. 4238-4244, 2015.
