Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Weber, A., Sturm, T., & Abdel-Rahman, E. O. (2011). Algorithmic Global Criteria for Excluding Oscillations. Bulletin of Mathematical Biology, 73(4), 899-916. doi:10.1007/s11538-010-9618-0.