Title: Automated Reasoning for Systems Biology and Medicine