Automated Reasoning for Systems Biology and Medicine - Pietro Liò, Paolo Zuliani (Springer, 2019)