Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
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. In ISSAC’17 (pp. 45-52). New York, NY: ACM. doi:10.1145/3087604.3087622.