AutomatedReasoningforSystemsBiologyandMedicine,2019