Automated Formal Reasoning to Uncover Molecular Programs of Self-Renewal
2019 ◽
pp. 79-105