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