@misc{indiciaeb56feb046a05,
  title = {ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra},
  author = {Franziska Hinkelmann and Madison Brandon and Bonny Guang and Rustin McNeill and Grigoriy Blekherman and Alan Veliz-Cuba and Reinhard Laubenbacher},
  year = {2011},
  doi = {10.1186/1471-2105-12-295},
  url = {https://arxiv.org/abs/1012.0778},
  note = {Source identifier: 1012.0778}
}