Boulier, F., Fages, F., Radulescu, O., Samal, S. S., Schuppert, A., Seiler, W., et al. (2018). The SYMBIONT Project: Symbolic Methods for Biological Networks. ACM Communications in Computer Algebra, 52(3), 67-70. doi:10.1145/3313880.3313885.