TY - RPRT TI - Modeling the C. elegans Germline Stem Cell Genetic Network using Automated Reasoning AU - Amar, A. AU - Hubbard, E. J. A. AU - Kugler, H. PY - 2021 DO - 10.1101/2021.08.08.455525 UR - https://www.biorxiv.org/content/10.1101/2021.08.08.455525v1 ID - 10.1101/2021.08.08.455525 ER -