Automated reasoning for systems biology and medicine (2019)