Paolo ZulianiBooksAutomated Reasoning for Systems Biology and MedicineIo&StellaAuthor data: Open Library