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. (2020). Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Journal of Symbolic Computation, 98, 84-119. doi:10.1016/j.jsc.2019.07.008.