Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
https://doi.org/10.7490/f1000research.1115995.1 (Preprint)
Boulier, F., Fages, F., Radulescu, O., Samal, S. S., Schuppert, A., Seiler, W., et al. (2018). The SYMBIONT Project: Symbolic Methods for Biological Networks. Faculty of 1000 Research, 7: 1341. doi:10.7490/f1000research.1115995.1.