Rahkooy, Hamid Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Rahkooy, H., & Sturm, T. (2021). Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 334-352). Berlin: Springer. doi:10.1007/978-3-030-85165-1_19.