TY  - RPRT
TI  - Constraint reasoning in deep biomedical models.
AU  - Jorge Cruz
AU  - Pedro Barahona
PY  - 2005
DO  - 10.1016/j.artmed.2004.07.013
UR  - https://pubmed.ncbi.nlm.nih.gov/15885568/
ID  - 15885568
ER  -