Automated Reasoning for Systems Biology and Medicineby Pietro Liò, Paolo ZulianiWriting a summary for young readers…For young readersBook data: Open Library