%0 Book %A Pietro Liò€, Paolo Zuliani, editors. %T Automated reasoning for systems biology and medicine / %U /book/90228605/Automated-reasoning-for-systems-biology-and-medici/