Automated Reasoning for Systems Biology and Medicine
  MLA
  Liò, Pietro, and Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. Springer International Publishing, 2019.
  APA
  Liò, P., & Zuliani, P. (2019). Automated Reasoning for Systems Biology and Medicine. Springer International Publishing.
  Chicago
  Liò, Pietro, and Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. : Springer International Publishing, 2019.