@article{MPY16e,
  author        = {Q. Yuan and H. Qu and J. Pang and A. Mizera},
  title         = {Improving {BDD}-based attractor detection for synchronous {B}oolean networks},
  journal       = {SCIENCE CHINA Information Sciences},
  year          = {2016},
  publisher     = {Springer},
  pages         = {59: 080101},
  doi           = {10.1007/s11432-016-5594-9}
}