Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1704.08997.pdf (Preprint), 2MB
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., et al. (2017). A Case Study on the Parametric Occurrence of Multiple Steady States. Retrieved from http://arxiv.org/abs/1704.08997.