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