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.