ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra. - Franziska Hinkelmann; Madison Brandon; Bonny Guang; Rustin McNeill; Grigoriy Blekherman; Alan Veliz-Cuba; Reinhard C. Laubenbacher (BMC Bioinform., 2011)