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