@misc{indiciaee4d4c07dcb7d, title = {Automated Reasoning in Systems Biology: a Necessity for Precision Medicine}, author = {Pedro Zuidberg Dos Martires and Vincent Derkinderen and Luc De Raedt and Marcus Krantz}, year = {2024}, url = {https://arxiv.org/abs/2410.13487}, note = {Source identifier: 2410.13487} }