@article{YMPQ19b,
  author        = {Q. Yuan and A. Mizera and J. Pang and H. Qu},
  title         = {A new decomposition-based method for detecting attractors in synchronous {B}oolean networks},
  journal       = {Science of Computer Programming},
  year          = {2019},
  volume        = {180},
  pages         = {18-35}
}