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