Automated reasoning for systems biology and medicine. ([2019])