@article{anaspbasedapproachforattractor,
  title = {An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks},
  author = {Tarek Khaled and Belaïd Benhamou},
  year = {2019},
  eprint = {1909.08251},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.08251v1},
}