Biblio
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J Comput Biol. 2023;30(9):1046-1058.
. .
How computational models contribute to our understanding of the germ line. Mol Reprod Dev. 2016.
.