Automated reasoning for systems biology and medicine - Liò, Pietro.; Zuliani, Paolo. (Springer,, 2019)