Automated Reasoning for Systems Biology and MedicinePietro Liò, Paolo Zuliani · First published 2019Open the Tome