Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1902.04882.pdf (Preprint), 3MB
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., et al. (2019). Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Retrieved from http://arxiv.org/abs/1902.04882.